2019-01-25 | DPorts Builder | Update editors/kile to version 3.0.b2_1 | tree | commitdiff |
2018-10-15 | DPorts Builder | Tweak editors/kile version 3.0.b2 | tree | commitdiff |
2018-07-09 | DPorts Builder | Tweak editors/kile version 3.0.b2 | tree | commitdiff |
2018-06-03 | DPorts Builder | Update editors/kile to version 3.0.b2 | tree | commitdiff |
2018-05-14 | DPorts Builder | Import editors/kile version 3.0.b1 | tree | commitdiff |
2013-08-10 | John Marino | Prune 309 obsolete ports | tree | commitdiff |
2013-06-06 | Automaton | Tweak editors/kile version 2.0.3_4 | tree | commitdiff |
2013-05-11 | Automaton | Tweak editors/kile version 2.0.3_4 | tree | commitdiff |
2013-01-21 | Automaton IAS | Import editors/kile version 2.0.3_4 | tree | commitdiff |