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 /dependencies_native.dot | |
parent | abd3858dfd86a3aab07025b50c1f63f0b28f1b7f (diff) | |
download | smtcoq-a8863500307f01b9df6d13b19db61066d219c553.tar.gz smtcoq-a8863500307f01b9df6d13b19db61066d219c553.zip |
Rename directory because MacOS FS is case-insensitive
Diffstat (limited to 'dependencies_native.dot')
0 files changed, 0 insertions, 0 deletions