diff options
| author | Hugo Herbelin | 2016-04-13 12:54:19 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-04-27 21:55:47 +0200 |
| commit | e11620ce155529c0e577304427f9b05d38e73caf (patch) | |
| tree | f3d6229bbf24acf5d7b2c2ca39bd50ae6560dfa5 /plugins/syntax | |
| parent | cbb917476e3920641352c108ec9ffaf6d1682217 (diff) | |
Fixing space in printing <+ and <: + fixing missing Inline keyword.
Fixing : in Declare Module.
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions