diff options
| author | Phil Burton <phil@d3r.com> | 2019-04-02 14:29:45 +0100 |
|---|---|---|
| committer | Phil Burton <phil@d3r.com> | 2019-04-02 14:29:45 +0100 |
| commit | 8f8ecd9e1aee461835dce8929ec616c3a77bf582 (patch) | |
| tree | 276a271055422cabc7547e735cf3c648f7ca762f /config.php | |
| parent | df2f660fe752a7ed4f813ca26bb51fab1803fdd9 (diff) | |
Remove needless code and allow file's with .tex extensions to flow through to text, which is the same as what currently happens
Diffstat (limited to 'config.php')
0 files changed, 0 insertions, 0 deletions