HCoop / bpt / portal.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Join script should rule out retired usernames
[bpt/portal.git] / header.mlt
2007-02-18 Adam ChlipalaRemove auto-generated mlt files blob | commitdiff | raw
2006-12-31 Adam ChlipalaIncrease domain component length limit blob | commitdiff | raw
2005-12-08 Adam ChlipalaHeader tweakery blob | commitdiff | raw | diff to current
2005-11-24 Adam ChlipalaAdd new style and fix up HTML to avoid boilerplate blob | commitdiff | raw | diff to current
2005-10-01 Adam ChlipalaRoll call system, and update forms to method=post blob | commitdiff | raw | diff to current
2005-06-20 Adam Chlipala'Return to main page' link in header blob | commitdiff | raw | diff to current
2005-05-08 Adam ChlipalaChanges rolling out beta version blob | commitdiff | raw | diff to current
2005-04-14 Adam ChlipalaInitial revision blob | commitdiff | raw | diff to current
Unnamed repository; edit this file 'description' to name the repository.