diff options
| author |  Clément Pit-Claudel <clement.pitclaudel@live.com> | 2018-06-08 09:41:00 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel <clement.pitclaudel@live.com> | 2018-06-08 09:42:22 -0400 |
| commit | 2369b095a38f08e7c28e8a5dc2591476986e89c0 (patch) | |
| tree | ae3a1cde4f427e768cb928e760bea33bc9eae456 /test-suite/success/unification.v | |
| parent | bb63a9f2209108424bd3dadc1c479f9ddc0e1803 (diff) | |
[doc] Disable smartquotes conversion
Closes GH-7742.
Diffstat (limited to 'test-suite/success/unification.v')
0 files changed, 0 insertions, 0 deletions