Moving web content to the root
Dispatching command into either one Makefile or the other depending on
the current git branch.
Spacing
Merge remote-tracking branch 'origin/master' into gh-pages
Build fix
Merge remote-tracking branch 'origin/master' into gh-pages
Type mapping for tuples of one element.
Merge remote-tracking branch 'origin/master' into gh-pages
Index page with links to atdgen resources (some broken links)
Merge remote-tracking branch 'origin/master' into gh-pages
Build index.html
Merge remote-tracking branch 'origin/master' into gh-pages
Update