author | Andreas Rheinhardt <andreas.rheinhardt@gmail.com> | |
Mon, 23 Mar 2020 02:26:58 +0000 (03:26 +0100) | ||
committer | Andreas Rheinhardt <andreas.rheinhardt@gmail.com> | |
Thu, 26 Mar 2020 18:29:54 +0000 (19:29 +0100) | ||
commit | ed18ec55773881875cb11305a1df90650743b42a | |
tree | 579931e66ec5f20c3d755398200bad64dbedc124 | tree |
parent | 59c993e227cd0460513d3eeaf17cc34dff33019e | commit | diff |
doc/developer.texi | diff | blob | history |