aboutsummaryrefslogtreecommitdiff
path: root/GNUmakefile
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2015-07-22 08:25:18 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2015-07-22 08:25:18 +0200
commit522e5a8c95b0ed7e3ab5f5c84000b9bb215f14d4 (patch)
treed14086fda27f67c9d7f0c56de5d8dc3e56cdcb11 /GNUmakefile
parentee481684132fa85559064dbb5eb480dce1f97e15 (diff)
Mention the 2014 update of the FOCUS guidance
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint