diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2017-10-24 14:57:58 +0200 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-10-24 14:57:58 +0200 |
| commit | eb39d3c525670d4107adb7b4d32551e0eb97941a (patch) | |
| tree | 27dff7c84379adaca93157a03c3b3d354a7fc6e8 /src/catalog.mli | |
| parent | f5e87b564d4f465b4b752ccd49317008abf1030e (diff) | |
Rename a function
Diffstat (limited to 'src/catalog.mli')
0 files changed, 0 insertions, 0 deletions