]> gitweb.factorcode.org Git - factor.git/history - extra/lint/summary.txt
Update actions, because Node.js 16 actions are deprecated, to Node.js 20
[factor.git] / extra / lint / summary.txt
2011-10-14 Doug ColemanRevive the lint tool
2009-05-04 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2009-05-04 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2009-04-28 Aaron SchaeferMerge branch 'master' of git://factorcode.org/git/factor
2009-04-27 John BenediktssonMerge branch 'master' of git://factorcode.org/git/factor
2009-04-26 Bruno DeferrariMerge branch 'master' into irc
2009-04-24 Slava Pestovhelp.cookbook: fix conflict
2009-04-24 Slava PestovMerge branch 'master' of git://projects.elasticdog...
2009-04-24 Doug ColemanMerge branch 'master' into directory-searching
2009-04-22 Nicholas SeckarMerge branch 'master' of git@github.com:seckar/factor...
2009-04-22 Nicholas SeckarMerge branch 'master' of git://factorcode.org/git/facto...
2009-04-22 Maxim SavchenkoMerge branch 'master' of git://factorcode.org/git/facto...
2009-04-22 Slava PestovMove lint to unmaintained
2009-01-28 Alex ChapmanMerge branch 'master' into experimental (untested!)
2008-12-12 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2008-12-09 Slava PestovFix conflict
2008-12-09 Eduardo CavazosMerge branch 'master' of http://factorcode.org/git...
2008-12-09 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2008-12-08 U-C4\AdministratorMerge branch 'master' of git://repo.or.cz/factor/jcg
2008-12-08 Slava PestovFix locals conflict
2008-12-08 Doug ColemanMerge branch 'master' of git://repo.or.cz/factor/jcg
2008-12-08 Slava PestovMerge branch 'master' of git://factorforge.org/git...
2008-12-07 John BenediktssonMerge branch 'master' of git://factorcode.org/git/factor
2008-12-07 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2008-12-07 Doug Colemanmove lint from unmaintained to extra
2008-04-28 Alex ChapmanMerge branch 'graphs' into experimental
2008-04-24 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2008-04-23 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2008-04-18 Daniel EhrenbergMerge branch 'master' of git://factorcode.org/git/factor
2008-04-17 Joe GroffMerge branch 'master' of git://shangri-la/others/factor
2008-04-16 Alex ChapmanMerge branch 'tangle' into experimental
2008-04-16 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2008-04-14 Alex ChapmanMerge branch 'master' of git://factorcode.org/git/facto...
2008-04-13 Chris DoubleMerge commit 'origin/master'
2008-04-12 Eduardo CavazosMerge branch 'master' of git://factorcode.org/git/factor
2008-04-12 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2008-04-12 Slava PestovMove lint and random-tester to unmaintained
2008-03-04 Alex ChapmanMerge branch 'experimental' into morse, and fix morse
2008-02-15 Alex ChapmanMerge branch 'master' of http://factorcode.org/git...
2008-02-02 Chris DoubleMerge git://factorcode.org/git/factor
2008-02-02 Aaron SchaeferMerge git://factorcode.org/git/factor
2008-01-30 Joe GroffMerge git://factorcode.org/git/factor
2008-01-30 Slava PestovMerge git://pgdn.org/factor
2008-01-30 Slava PestovMerge branch 'master' of git://littledan.onigirihouse...
2008-01-30 Slava PestovMerge branch 'master' of http://dharmatech.onigirihouse...
2008-01-30 Slava PestovMerge git://projects.elasticdog.com/git/factor
2008-01-29 Eduardo CavazosMerge branch 'master' of git://factorcode.org/git/factor
2008-01-29 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2008-01-28 Doug ColemanMerge git://factorcode.org/git/factor
2008-01-28 Slava PestovMerge git://pgdn.org/factor
2008-01-28 Daniel EhrenbergMerge commit 'slava/master'
2008-01-28 Slava PestovFix conflict
2008-01-28 Slava PestovFix conflict
2008-01-27 Slava PestovUpdating summary and authors