diff options
| author |  Matej Kosik <matej.kosik@inria.fr> | 2016-08-15 14:14:14 +0200 |
|---|---|---|
| committer |  Matej Kosik <m4tej.kosik@gmail.com> | 2016-08-25 10:52:44 +0200 |
| commit | 1297523bffdc3a9fe3e447acc6837be835e86d06 (patch) | |
| tree | 04b0db664081d14add21fe3a9934d609d8b749f0 /configure.ml | |
| parent | 3e6bc0e8d09e3eb913b366b4f5db280154b94018 (diff) | |
CLEANUP: changing the definition of the "Context.NamedList.Declaration" type
Diffstat (limited to 'configure.ml')
0 files changed, 0 insertions, 0 deletions