diff options
| author | Clément Pit-Claudel | 2018-06-08 09:41:00 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel | 2018-06-08 09:42:22 -0400 |
| commit | 2369b095a38f08e7c28e8a5dc2591476986e89c0 (patch) | |
| tree | ae3a1cde4f427e768cb928e760bea33bc9eae456 /kernel/declarations.ml | |
| parent | bb63a9f2209108424bd3dadc1c479f9ddc0e1803 (diff) | |
[doc] Disable smartquotes conversion
Closes GH-7742.
Diffstat (limited to 'kernel/declarations.ml')
0 files changed, 0 insertions, 0 deletions