author | Christian Grothoff <christian@grothoff.org> | |
Fri, 21 Jun 2019 20:40:40 +0000 (22:40 +0200) | ||
committer | Christian Grothoff <christian@grothoff.org> | |
Fri, 21 Jun 2019 20:40:40 +0000 (22:40 +0200) | ||
commit | d9e1a8e92cfd95e8f5dba3e5bc000de9b9cf49ac | |
tree | 471d97281594a5c45057d995f37ba8c2155f6bf9 | tree | snapshot |
parent | 56436c888427d7963e9ce3304cc33bc17fb89573 | commit | diff |
doc/handbook/chapters/user.texi | diff | blob | history |