]>
author | Günter Milde <milde@lyx.org> | |
Mon, 15 Jul 2019 16:08:09 +0000 (18:08 +0200) | ||
committer | Günter Milde <milde@lyx.org> | |
Mon, 15 Jul 2019 16:10:01 +0000 (18:10 +0200) | ||
commit | b9cc642856d79edb07cbd4067bbc10e5be9b2a36 | |
tree | 6d2477e26b6887239e40ca54dee8db08b4b7f4ee | tree | snapshot |
parent | d3f6ec003d3e9f972abd3eeff19cd06e4a865104 | commit | diff |
lib/configure.py | diff | blob | history |