diff options
author | 2015-06-17 15:36:29 +0200 | |
---|---|---|
committer | 2015-10-13 17:25:14 +0200 | |
commit | fca0afda49e9411f25fc3d0b660b40a3dfd7d4bf (patch) | |
tree | e841344f766b319798852b1715837ac4f9923b29 /ide/undo_lablgtk_lt26.mli | |
parent | ab9ecfcac7b7c78e4ba84ddbfb36c86020f6b7e3 (diff) |
Fix compilation with OCaml 4.02
Diffstat (limited to 'ide/undo_lablgtk_lt26.mli')
0 files changed, 0 insertions, 0 deletions