diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-01-24 15:30:47 +0100 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-01-24 15:30:47 +0100 |
commit | c6e44de22de8dfe7a5c9521201937a8302ec12c9 (patch) | |
tree | 42b772db85b1d47b3d087ff4cf93821fe90044c1 /generic/proof-site.el | |
parent | 15b977ff32f6c8250d47d7657987b0c94db76710 (diff) |
annoying missing parentheisis in a comment.
Diffstat (limited to 'generic/proof-site.el')
0 files changed, 0 insertions, 0 deletions