2019-11-04 | DPorts Builder | Merge branch 'staged' | blob | commitdiff |
2019-10-29 | DPorts Builder | Update editors/kile to version 3.0.b3 | blob | commitdiff |
2018-06-03 | DPorts Builder | Update editors/kile to version 3.0.b2 | blob | commitdiff | diff to current |
2018-05-14 | DPorts Builder | Import editors/kile version 3.0.b1 | blob | commitdiff | diff to current |
2013-08-10 | John Marino | Prune 309 obsolete ports | blob | commitdiff |
2013-01-21 | Automaton IAS | Import editors/kile version 2.0.3_4 | blob | commitdiff | diff to current |