diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-06-12 11:25:32 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-06-17 13:33:19 +0200 |
commit | 5734c4527befeb61249979ecf7c043a3b463fc98 (patch) | |
tree | 5cf34f455ce7658cffab88ea2d4f51e90b2c26d9 /Makefile | |
parent | 8854588be4e2e8249f6ad9d16a0fd0534d42b66d (diff) |
Remove Tutorials from doc/LICENSE following #7466.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions