diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2015-07-22 08:25:18 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2015-07-22 08:25:18 +0200 |
| commit | 522e5a8c95b0ed7e3ab5f5c84000b9bb215f14d4 (patch) | |
| tree | d14086fda27f67c9d7f0c56de5d8dc3e56cdcb11 /GNUmakefile | |
| parent | ee481684132fa85559064dbb5eb480dce1f97e15 (diff) | |
Mention the 2014 update of the FOCUS guidance
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions