author | Christian Grothoff <christian@grothoff.org> | |
Thu, 8 Mar 2018 13:24:32 +0000 (14:24 +0100) | ||
committer | Christian Grothoff <christian@grothoff.org> | |
Thu, 8 Mar 2018 13:24:32 +0000 (14:24 +0100) | ||
commit | 5c81865455a2d6e42838047e86a19c4a2441a28e | |
tree | 39fe7100f3504201045ab040abb17c4011fd7b45 | tree | snapshot |
parent | 17f98215f27d61d966cb1d7a11197e102b785d16 | commit | diff |
doc/documentation/chapters/user.texi | diff | blob | history |