diff options
author | w0rp <devw0rp@gmail.com> | 2017-09-10 19:42:45 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2017-09-10 19:42:45 +0100 |
commit | 9d24cc40471441fef4c5dd2467f22eea072d2c2d (patch) | |
tree | aacb26b26e163a953a15a0b1e596dd06de1f2202 /syntax | |
parent | c4ad92e458f51ce849baed3b628fbd2f43303ace (diff) | |
download | ale-9d24cc40471441fef4c5dd2467f22eea072d2c2d.zip |
Fix numerous issues with integration documentation tags and the table of contents, and add a script to check for theses issues
Diffstat (limited to 'syntax')
0 files changed, 0 insertions, 0 deletions