]>
author | Günter Milde <milde@lyx.org> | |
Mon, 14 Jan 2019 21:35:14 +0000 (22:35 +0100) | ||
committer | Günter Milde <milde@lyx.org> | |
Mon, 14 Jan 2019 21:48:38 +0000 (22:48 +0100) | ||
commit | 4ebb415773efba5d2c8cd243596defe7c435bda3 | |
tree | 2540960647d44cf46d63e0f7ebb20340d11d6ec8 | tree | snapshot |
parent | c40528f634fab5712d7c39ec5246aeb3bab9bd52 | commit | diff |