diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2017-07-23 03:40:16 +0200 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2017-08-01 16:11:55 +0200 |
commit | cf906af70f5c48cab99bd89047af0b2831850cf1 (patch) | |
tree | 63e61ffc689a73ccc3d1ed53276234e4740f5df7 /plugins/quote | |
parent | cabce8ae233040c2365bfd8bd1f478676fcade33 (diff) |
Printing goals does not evar-normalizes beforehand anymore.
Diffstat (limited to 'plugins/quote')
0 files changed, 0 insertions, 0 deletions