diff options
| author | Albrecht Schlosser <albrechts.fltk@online.de> | 2018-12-03 18:54:07 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-03 18:54:07 +0100 |
| commit | 0ce9101c7b2db8bd055157cd9bc1faff5831e2ed (patch) | |
| tree | dbedb3b307be5b1996c720edf95de9eb269264e2 /makeinclude.in | |
| parent | 549d3555a169b9ace05d6d41b2c2b68c177bb215 (diff) | |
Remove the statement that this is a mirror.
This repository is our main repo since the move to a new server on Dec 01, 2018.
Diffstat (limited to 'makeinclude.in')
0 files changed, 0 insertions, 0 deletions