diff options
| author | Matej Kosik | 2015-10-29 12:08:49 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-10 09:35:09 +0100 |
| commit | 8f96f8194608c99ad8efa201c24b527dbc530537 (patch) | |
| tree | 231c139b2c48d0178597f1335a85c8e5f422bfcc /plugins/syntax | |
| parent | 660725e70918366d9f07183ae76c5a6284f81cc9 (diff) | |
CLEANUP PROPOSITION: The removed paragraph is not essential for this chapter. That kind of information is more appropriate for Section 1.2.
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions