diff options
| author | coqbot-app[bot] | 2020-09-29 17:11:33 +0000 |
|---|---|---|
| committer | GitHub | 2020-09-29 17:11:33 +0000 |
| commit | b74339d4817ef29c2094ad09c47d87ae558de3e3 (patch) | |
| tree | 7b7dd2dbcc40b7f8c785e58c89c65e34a32a6975 /plugins/syntax/float_syntax.ml | |
| parent | ff74bba7c4ef0c6f3e17944b015e05fc23bad1af (diff) | |
| parent | a5abb5d9c2d8c61be2444b5f5922cf124f98bae0 (diff) | |
Merge PR #13097: Modify how quotations handle whole sentences.
Reviewed-by: gares
Diffstat (limited to 'plugins/syntax/float_syntax.ml')
0 files changed, 0 insertions, 0 deletions