diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-06-13 21:42:18 +0200 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-06-13 21:42:18 +0200 |
commit | c54b17d14e57eb77093ec0006d2db5e9e3754902 (patch) | |
tree | 09ca5cc2f06aa749efc04f6c033fc95f2ca6842b /coq/faq | |
parent | 40ce93b55acf2a03f8455370694bff2205f9602d (diff) |
small fix on hyp overlays.
Diffstat (limited to 'coq/faq')
0 files changed, 0 insertions, 0 deletions