]>
2014-04-30 | Jan Rękorajski | - up to 8.4pl3 auto/th/coq-8.4pl3-1 | blob | commitdiff | raw |
2012-06-24 | Jan Rękorajski | - updated to 8.3pl1 | blob | commitdiff | raw | diff to current |
2012-06-24 | Jan Rękorajski | - work around stupid detection of lablgtk2 | blob | commitdiff | raw | diff to current |