diff options
| author | Leander Tentrup <[email protected]> | 2020-04-28 10:01:51 +0100 |
|---|---|---|
| committer | Leander Tentrup <[email protected]> | 2020-06-08 13:18:16 +0100 |
| commit | 4a2efb2f42494f62891ac801e0a27d246bd36684 (patch) | |
| tree | 42beb8f761b80edaf57fdb9c0a76a2818f7bb862 /.gitignore | |
| parent | d8552d114c3b2cedbc485ebe26d7b784c0845bd8 (diff) | |
Implement syntax highlighting for doctests
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions