diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2015-06-23 09:31:16 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2015-06-23 09:31:16 +0200 |
| commit | f47821e831a55716ce045134006df52a0d8c7050 (patch) | |
| tree | af1c73bdb2d9ed9022dbbe3a9df1d30ee9a7648e /.gitignore | |
| parent | 00d164d6d40172c6f8b83578fd30ca28f8c378c7 (diff) | |
Improve formatting of \dontrun section
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions