diff options
| author | Clément Pit-Claudel | 2018-05-17 23:42:51 -0400 |
|---|---|---|
| committer | Théo Zimmermann | 2018-09-20 10:12:55 +0200 |
| commit | 196f36e1db08c80c0e2d1de538a4c0fe6bae062b (patch) | |
| tree | 9e7e0fc3e6599d700b9a48fc7c25dc5d1163bdb9 /plugins/syntax/string_syntax_plugin.mlpack | |
| parent | a249f94d00c64157631fe2517d317dd75ebeff88 (diff) | |
[doc] Mark the dummy index files as orphans (the LaTeX build skips them)
Do we really need these? Wouldn't it be better to just add appropriate links to
the html template?
Diffstat (limited to 'plugins/syntax/string_syntax_plugin.mlpack')
0 files changed, 0 insertions, 0 deletions