author | Christian Grothoff <christian@grothoff.org> | |
Fri, 21 Jun 2019 20:17:38 +0000 (22:17 +0200) | ||
committer | Christian Grothoff <christian@grothoff.org> | |
Fri, 21 Jun 2019 20:17:38 +0000 (22:17 +0200) | ||
commit | 56436c888427d7963e9ce3304cc33bc17fb89573 | |
tree | 902c48ac6606eeba8b2c01fe5dab554a00a7220e | tree | snapshot |
parent | 32eec25228bec91318c577d18fe2ce3ff4d45598 | commit | diff |
doc/handbook/chapters/developer.texi | diff | blob | history | |
doc/handbook/chapters/user.texi | diff | blob | history |