diff options
| author | Thomas Bauereiss | 2017-08-24 20:38:38 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-08-24 20:38:38 +0100 |
| commit | beb2279dcab654d6e7c6ff16247dd93c743a27ba (patch) | |
| tree | 2e0c6bcebef9452079861f4f14e7e3c7f0bfb791 /src/util.mli | |
| parent | a42684821d6c0487c248900a89e1f464737da771 (diff) | |
Use relative path in Makefile
Diffstat (limited to 'src/util.mli')
0 files changed, 0 insertions, 0 deletions