diff options
| author | Pierre Courtieu | 2015-10-06 10:59:56 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2015-10-06 11:21:49 +0200 |
| commit | c1b8d71101c7615ff30b9e9a1e43dff7ad0245ae (patch) | |
| tree | 3427360bf7fc8fe045b6b91d8365853824adcef3 /generic/proof-script.el | |
| parent | 9e394174695f002cd55419ba0db21e44b1270ddf (diff) | |
Trying to deal with debug mode.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions