diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-06-21 21:15:58 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-06-21 21:15:58 +0200 |
| commit | 32eec25228bec91318c577d18fe2ce3ff4d45598 (patch) | |
| tree | 73e4bd1e976151afbac02595ca3694de3730306e /pre-commit | |
| parent | 2111b3716776f2a1e6e6b38888c8dea42907c09d (diff) | |
| download | gnunet-32eec25228bec91318c577d18fe2ce3ff4d45598.tar.gz gnunet-32eec25228bec91318c577d18fe2ce3ff4d45598.zip | |
drop sections on planetlab, this is unlikely to even still work anymore, fixes #5628
Diffstat (limited to 'pre-commit')
0 files changed, 0 insertions, 0 deletions