diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2006-08-25 12:50:49 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2006-08-25 12:50:49 +0000 |
commit | 079bf430d977dfe5d451ffd1aebff5554801c388 (patch) | |
tree | d803666eb7e5f0f65a0fa84d487c77b309014a35 /etc/lego/pbp.l | |
parent | 86ac9c837f694cc2ce1849a6b839215e929e0d55 (diff) |
fix coq/CHANGES
Diffstat (limited to 'etc/lego/pbp.l')
0 files changed, 0 insertions, 0 deletions