diff options
author | George Marques <george@gmarqu.es> | 2018-09-09 18:21:33 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-09 18:21:33 -0300 |
commit | af290f7b7d0ea22fbb8d4c3ca5c5a8fb72a30a7e (patch) | |
tree | 057d9d4a707ea526028cd30b243d0dfcf4112f68 /.gitignore | |
parent | 1093c0ff51b980634dffdd9618eaa53061da6419 (diff) | |
parent | f051f5110e39873a304aace622eaeb4a802f10ab (diff) |
Merge pull request #21866 from Paulb23/fix_scientific_notation_highlight_issue_21435
Fixed scientific notation not highlighting correctly, issue 21435
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions