kile: 2017-02-09 -> 2.9.92
No need to use an old git snapshot, since upstream has a proper beta version.
parent
6d746f7d
Please register or sign in to comment
No need to use an old git snapshot, since upstream has a proper beta version.