100644 blob 43b0cd0549ddbd69352a5e7da9fd83ab2f74ecfa	Makefile
100755 blob 247b0e8e801a64b93e540375eecc309b138088f9	badges.py
100755 blob cfaf05513fbdb7e1b138a10ab5ded8cf66cce502	bst2html.py
040000 tree 23aa5441c113e847241f93dd1892f7c2997663c6	examples
040000 tree 4fad04f66a55d73b61c14a31d300ea6ae12b13fd	sessions
040000 tree f9c8f99564a94e8a8a00cbb8f899863008a0648e	source