diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2020-02-07 07:23:06 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2020-02-07 07:23:06 +0100 |
| commit | 49ebe44092d2033f548c901ea406619713583103 (patch) | |
| tree | cddd0697aff861c892e7196da39dd5727776970e /DESCRIPTION | |
| parent | 9a1e685a636f7632fc77c7375f9d42735be2decc (diff) | |
Update Makefile, update FOCUS URL
Diffstat (limited to 'DESCRIPTION')
0 files changed, 0 insertions, 0 deletions