Update editors/tea to version 47.0.1_2
[dports.git] / editors / kile /
2019-01-25 DPorts BuilderUpdate editors/kile to version 3.0.b2_1
2018-10-15 DPorts BuilderTweak editors/kile version 3.0.b2
2018-07-09 DPorts BuilderTweak editors/kile version 3.0.b2
2018-06-03 DPorts BuilderUpdate editors/kile to version 3.0.b2
2018-05-14 DPorts BuilderImport editors/kile version 3.0.b1
2013-08-10 John MarinoPrune 309 obsolete ports
2013-06-06 AutomatonTweak editors/kile version 2.0.3_4
2013-05-11 AutomatonTweak editors/kile version 2.0.3_4
2013-01-21 Automaton IASImport editors/kile version 2.0.3_4