diff options
| author | Hugo Herbelin | 2015-03-30 15:41:46 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2015-08-02 19:13:51 +0200 |
| commit | d9b13d0a74bc0c6dff4bfc61e61a3d7984a0a962 (patch) | |
| tree | c532dd0bdeac1382dad6d2ea872066e87bbdbca0 /dev/include | |
| parent | 6737055d165c91904fc04534bee6b9c05c0235b1 (diff) | |
Cosmetic changes in evarconv.ml: hopefully more regular form and
naming of arguments of eta.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions