projects / oweals / gnunet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2111b37) | patch
drop sections on planetlab, this is unlikely to even still work anymore, fixes #5628
authorChristian Grothoff <christian@grothoff.org>
Fri, 21 Jun 2019 19:15:58 +0000 (21:15 +0200)
committerChristian Grothoff <christian@grothoff.org>
Fri, 21 Jun 2019 19:15:58 +0000 (21:15 +0200)
commit32eec25228bec91318c577d18fe2ce3ff4d45598
tree73e4bd1e976151afbac02595ca3694de3730306etree | snapshot
parent2111b3716776f2a1e6e6b38888c8dea42907c09dcommit | diff
drop sections on planetlab, this is unlikely to even still work anymore, fixes #5628
doc/handbook/chapters/developer.texi diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.