about summary refs log tree commit homepage
path: root/.gitignore
DateCommit message (Collapse)
2015-01-14doc: switch to olddoc for the website
wrongdoc was difficult to maintain because of the tidy-ffi dependency and the HTML5 changes in Darkfish could not be handled well by Tidy. olddoc is superior as it generates leaner HTML which loads faster, requires less scrolling and less processing power to render. Aesthetic comparisons are subjective of course but completely unimportant compared to speed and accessibility.
2011-08-22.gitignore: add /tmp
This is where our built objects go
2011-01-17switch site to wrongdoc
No more JavaScript! Down with JavaScript! \o/
2010-12-01initial