2015-03-04 | DPorts Builder | Update editors/leo to version 5.0 | tree | commitdiff |
2014-10-22 | DPorts Builder | Tweak editors/leo version 4.11_1 | tree | commitdiff |
2014-09-30 | DPorts Builder | Tweak editors/leo version 4.11_1 | tree | commitdiff |
2014-09-14 | DPorts Builder | Update editors/leo to version 4.11_1 | tree | commitdiff |
2014-05-29 | DPorts Builder | Tweak editors/leo version 4.11 | tree | commitdiff |
2014-02-13 | DPorts Builder | Tweak editors/leo version 4.11 | tree | commitdiff |
2013-11-28 | DPorts Builder | Update editors/leo to version 4.11 | tree | commitdiff |
2013-10-15 | DPorts Builder | Tweak editors/leo version 4.10_4 | tree | commitdiff |
2013-06-17 | DPorts Builder | Tweak editors/leo version 4.10_4 | tree | commitdiff |
2013-04-13 | Automaton | Tweak editors/leo version 4.10_4 | tree | commitdiff |
2013-03-21 | Automaton | Import editors/leo version 4.10_4 | tree | commitdiff |