diff options
| author |  jforest <jforest@daneel.lan.home> | 2015-04-09 22:19:31 +0200 |
|---|---|---|
| committer | jforest <jforest@daneel.lan.home> | 2015-04-14 20:56:32 +0200 |
| commit | 6f40831dc1d0fecfbaf9fbc8116da0e74b6e8726 (patch) | |
| tree | 64e84a45fc215d458bc220366399f65ef67307ae /interp/smartlocate.ml | |
| parent | efbc8eef69dd66c51d7f4b666d7b3ffeb99a35c7 (diff) | |
Function now supports puniveres
Diffstat (limited to 'interp/smartlocate.ml')
0 files changed, 0 insertions, 0 deletions