diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-03-17 22:26:40 +0100 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2016-03-17 22:26:40 +0100 |
| commit | 3adc5a45ab8a6a486ee2713f1ef60370c0d94cbe (patch) | |
| tree | f87ad1a6b873619cb6a9096504bd20455276baa6 /.gitignore | |
| parent | 63aafb3f4891a66b06e65ba1f47d958fcd92ed7f (diff) | |
| parent | 9c0e1524e56a3d38bf5ab281939770e806ac24e9 (diff) | |
Merge pull request #4082 from Paulb23/word_highlighting
Fixes for Word highlighting
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions