diff options
| author | Théo Zimmermann | 2019-01-23 14:08:02 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-01-23 14:08:02 +0100 |
| commit | 4aa0dddfba559370fefa6fe1a6e7ffa00c2577c3 (patch) | |
| tree | 881f23714e8e1157f3571829a4986dee7a81a673 /plugins/syntax/plugin_base.dune | |
| parent | 6be3f746d84028297b5d9888684e716b91cd8824 (diff) | |
Fix the information of the level of ; vs ; [ ]
Diffstat (limited to 'plugins/syntax/plugin_base.dune')
0 files changed, 0 insertions, 0 deletions