diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-08-30 16:35:40 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-08-30 16:35:40 +0200 |
| commit | a8863500307f01b9df6d13b19db61066d219c553 (patch) | |
| tree | 5ddbacd6f8c9e52b95c04bf58790f34042081bf2 /src/Makefile | |
| parent | abd3858dfd86a3aab07025b50c1f63f0b28f1b7f (diff) | |
| download | smtcoq-a8863500307f01b9df6d13b19db61066d219c553.tar.gz smtcoq-a8863500307f01b9df6d13b19db61066d219c553.zip | |
Rename directory because MacOS FS is case-insensitive
Diffstat (limited to 'src/Makefile')
0 files changed, 0 insertions, 0 deletions