summaryrefslogtreecommitdiff
path: root/LICENSE
diff options
context:
space:
mode:
authorMarc Glisse <marc.glisse@inria.fr>2020-04-04 12:52:52 +0200
committerMarc Glisse <marc.glisse@inria.fr>2020-04-04 12:52:52 +0200
commitda3b4a79ca40d08ae5597341f4db2418f20fe3d2 (patch)
tree18af9bb99b814dcea1b3ce1145236a5e5a365e53 /LICENSE
parentdc80ab48359521dac415292f4d2b1f496f326263 (diff)
Missing biblio in one file, change title level
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions