diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2022-11-11 14:05:41 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2022-11-11 14:05:41 +0100 |
| commit | f4b487c7677c9c228bdc11851bc7f932c5311e38 (patch) | |
| tree | 5b297700b35f77d27c3dd706d95a80c855e80222 /GNUmakefile | |
| parent | 6b9d255583aa798482cd02e0a27cda0c7867a39e (diff) | |
Update docs, use run.sh on travis
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions