diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-06-22 09:06:57 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-06-22 09:06:57 +0200 |
| commit | ec9d8095ba74cc0549fe1eca950466742c43e74f (patch) | |
| tree | a13b827df93dc719109c0af4dfd7518fa817f480 /lib/flags.mli | |
| parent | ce078ca30d79455cc2a7055f9e989f7b83a5cd56 (diff) | |
Fix copyright dates in doc/LICENSE.
[ci skip]
Diffstat (limited to 'lib/flags.mli')
0 files changed, 0 insertions, 0 deletions