diff options
| author | Andre Noll <maan@tuebingen.mpg.de> | 2024-06-30 16:45:19 +0200 |
|---|---|---|
| committer | Andre Noll <maan@tuebingen.mpg.de> | 2024-06-30 16:45:19 +0200 |
| commit | fb38915b17c31c4ffc0060748b7e20ac853fe9a1 (patch) | |
| tree | 9b6ce8af19538afb49915d1b4ff65cc1f8467706 /util.h | |
| parent | d4f389642c112531c5ff9471f2b5e10aba03cda7 (diff) | |
| parent | 50e321604c59d71168765a4b01c25ba7f176ce5c (diff) | |
* master:
Switch to https URLs.
INSTALL: Simplify dependency section.
Diffstat (limited to 'util.h')
0 files changed, 0 insertions, 0 deletions