diff options
author | 2009-07-26 09:24:41 +0200 | |
---|---|---|
committer | 2009-07-26 09:24:41 +0200 | |
commit | 801f2ed206d8b0dbc23403fcd62a97d6508226e2 (patch) | |
tree | 341bff65671364f3d43a14d78203657d5e498dbc /pretyping/evarutil.mli | |
parent | ee2bd359557ca6d68a5ca4aced4014f9e3581cbb (diff) |
More precise informations in README.Debian
Diffstat (limited to 'pretyping/evarutil.mli')
0 files changed, 0 insertions, 0 deletions