diff options
| author | pacien | 2018-04-29 20:41:39 +0200 |
|---|---|---|
| committer | pacien | 2018-04-29 20:41:39 +0200 |
| commit | 97a5d3600a06e2edbd6bb6faa6fa0728add0d5d3 (patch) | |
| tree | a859ae11723730440de10569a2d4081e13ceab49 /src/urm.mli | |
| parent | 0647f37eebbefb8446fc8abfc533a23952fbb8be (diff) | |
| download | urm-97a5d3600a06e2edbd6bb6faa6fa0728add0d5d3.tar.gz | |
Rename URM types and fix urm_from_eurm signature
Diffstat (limited to 'src/urm.mli')
0 files changed, 0 insertions, 0 deletions