]> gitweb.factorcode.org Git - factor.git/history - basis/ui/tools/search/search.factor
Fix permission bits
[factor.git] / basis / ui / tools / search / search.factor
2008-10-02 Slava PestovFix permission bits
2008-09-28 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2008-09-27 Slava PestovFix ridiculous indentation, over (>>foo), and other...
2008-09-08 Aaron SchaeferMerge git://projects.elasticdog.com/git/factor into...
2008-09-06 Daniel EhrenbergMerge branch 'master' of git://factorcode.org/git/factor
2008-09-04 Bruno DeferrariMerge branch 'master' of git://factorcode.org/git/factor
2008-09-01 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2008-09-01 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2008-09-01 Eduardo CavazosUpdate old accessors from ui.tools.*
2008-09-01 Eduardo CavazosMerge branch 'master' of git://factorcode.org/git/factor
2008-09-01 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2008-08-31 Doug Colemannew accessors
2008-08-31 Slava PestovMerge branch 'master' of git://repo.or.cz/factor/jcg
2008-08-29 Bruno DeferrariMerge branch 'master' of git://factorcode.org/git/factor
2008-08-27 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2008-08-27 Eduardo CavazosMerge branch 'master' of git://factorcode.org/git/factor
2008-08-27 Slava PestovFix conflict
2008-08-27 Slava PestovMerge branch 'master' of git://factorcode.org/git/jamesnvc
2008-08-27 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2008-08-27 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2008-08-23 Slava PestovRemoving delegation support from UI
2008-08-23 Slava PestovStarting to remove delegation
2008-08-19 Daniel EhrenbergMerge branch 'master' of git://factorcode.org/git/factor
2008-08-13 sheepleMerge branch 'master' of git://factorcode.org/git/factor
2008-08-11 Slava PestovMerge branch 'master' of git://factorforge.org/git...
2008-08-11 William SchlieperMerge branch 'master' of git://factorcode.org/git/factor
2008-08-09 Slava PestovMerge branch 'master' of git://factorforge.org/git...
2008-08-08 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2008-08-08 Bruno DeferrariMerge branch 'master' of git://factorcode.org/git/factor
2008-08-08 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2008-08-08 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2008-08-08 Eduardo CavazosMove 'ui' to basis