diff options
| author | Rangi <remy.oukaour+rangi42@gmail.com> | 2018-09-02 15:54:22 -0400 |
|---|---|---|
| committer | Rangi <remy.oukaour+rangi42@gmail.com> | 2018-09-08 12:33:52 -0400 |
| commit | 741d22907e0c23791c5abf0ffbb5b5d9377418df (patch) | |
| tree | 860f93a381a71498d4699f0e52023d74702126db /tools/toc.py | |
| parent | 140a065b7a7c124c3dd03367c1813614caacff86 (diff) | |
Empty rules are unnecessary (error messages are fine without them)
Diffstat (limited to 'tools/toc.py')
0 files changed, 0 insertions, 0 deletions