diff options
| author | Guillaume Melquiond | 2015-10-14 11:33:01 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-10-14 11:33:01 +0200 |
| commit | bc1c530550e7d06655d541c21859321a2f84c260 (patch) | |
| tree | 74f31146751d40c7a6e5e9aaa12c317020877530 /kernel/vconv.ml | |
| parent | 4a1234459472c5fbb0d0467217972f247c054832 (diff) | |
Make interpreter of PROJ simpler by not using the stack.
Diffstat (limited to 'kernel/vconv.ml')
0 files changed, 0 insertions, 0 deletions