diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2016-11-18 23:08:45 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2016-11-18 23:08:45 +0100 |
| commit | d852e9e000f57f280deb84611ae1af58daa883cc (patch) | |
| tree | 10d71ca9fd557ead9c15025d2050f977e08de14e /GNUmakefile | |
| parent | 30f55769fe2f042c7753144051dd34eec3596adc (diff) | |
Fix links in README, configure navbar, rebuild docs
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions