diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2014-10-14 07:58:38 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2014-10-14 07:58:38 +0200 |
| commit | 09f3ba4184bb6506d4aa33243fe6759396c57d24 (patch) | |
| tree | a26377d398503e4574404f43f45d35d94e8bd9ac /GNUmakefile | |
| parent | ab4de6b7c91813cc028eebfb38e5cee0f4a34b9e (diff) | |
Add a note on the possibility of manipulations from local users
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions