diff options
| author | Hendrik Tews | 2012-02-13 10:07:59 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2012-02-13 10:07:59 +0000 |
| commit | e4438b2984cadf3e60935cb1e37be55e63f063a0 (patch) | |
| tree | be28081c36b511837d87bf304a4b2cb04be36267 /lib | |
| parent | 4d988813b94df6ddcc8363fb9eb827be73b36b0d (diff) | |
fix coqdep error recognition
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions