diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-11-10 10:58:17 +0100 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-11-10 10:58:17 +0100 |
commit | d8a02ea460d65f4714ccf4c9f042d373ad6bced8 (patch) | |
tree | 59d93f805da9c8c129d5bfc92fe577fbb780609b /library/lib.ml | |
parent | d9f79d97dbc503e149cba2df1b228a94d7ac970b (diff) |
Update and simplify README.
Diffstat (limited to 'library/lib.ml')
0 files changed, 0 insertions, 0 deletions