]>
author | Diego Biurrun <diego@biurrun.de> | |
Thu, 17 Nov 2016 19:39:06 +0000 (20:39 +0100) | ||
committer | Diego Biurrun <diego@biurrun.de> | |
Mon, 21 Nov 2016 14:08:50 +0000 (15:08 +0100) | ||
commit | bdbb8c68668b7610f5a310f5bbb246d2b950426d | |
tree | 644f258d92566dd992d65da59d5c7fbe46050c48 | tree | snapshot |
parent | 97cd7a3dc005a0ad1656dbb2af92e9c5d0731f21 | commit | diff |
doc/general.texi | diff | blob | history |