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