author | Christian Grothoff <christian@grothoff.org> | |
Wed, 10 Jul 2019 21:31:37 +0000 (23:31 +0200) | ||
committer | Christian Grothoff <christian@grothoff.org> | |
Wed, 10 Jul 2019 21:31:37 +0000 (23:31 +0200) |
doc/handbook/chapters/developer.texi | patch | blob | history |