diff options
| author | pacien | 2018-04-30 22:30:49 +0200 |
|---|---|---|
| committer | pacien | 2018-04-30 22:30:49 +0200 |
| commit | 9f873522a083306ad3abd679dbc36c0f519ddfd3 (patch) | |
| tree | ce54a0735d5d4b59256d793426e99a49d53e3fb8 /src/eurm.mli | |
| parent | 50d9fa50080ebb2ca0e38664f158694cc73c8398 (diff) | |
| download | urm-9f873522a083306ad3abd679dbc36c0f519ddfd3.tar.gz | |
Use const for end label
Diffstat (limited to 'src/eurm.mli')
0 files changed, 0 insertions, 0 deletions