aboutsummaryrefslogtreecommitdiff
path: root/GNUmakefile
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2014-10-14 07:58:38 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2014-10-14 07:58:38 +0200
commit09f3ba4184bb6506d4aa33243fe6759396c57d24 (patch)
treea26377d398503e4574404f43f45d35d94e8bd9ac /GNUmakefile
parentab4de6b7c91813cc028eebfb38e5cee0f4a34b9e (diff)
Add a note on the possibility of manipulations from local users
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint