diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-06-10 21:29:07 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-06-22 09:11:33 +0200 |
| commit | 6532b0bdc90ed81caae68b1ce3ecf8625e5618a2 (patch) | |
| tree | d8dca26b056ce90dda78f7c2e093415b94857f63 /dev | |
| parent | c30782f9a5473da0754b7a29bfb70da36bc14b38 (diff) | |
Get rid of INSTALL.ide. List the dependency versions in INSTALL.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions