diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2016-10-06 08:56:45 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2016-10-06 08:56:45 +0200 |
| commit | ec1487f0f2cef32d44b0c6ce94a6f1b4f65a79d3 (patch) | |
| tree | 10820a2fa5ae6b51115c2d2f40e40bcc8f0b8d5e /.gitignore | |
| parent | 6b7c2049d4feb9dd76dd532830adba23b8a5007f (diff) | |
Remove staticdocs from old location
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions