100644 blob 43b0cd0549ddbd69352a5e7da9fd83ab2f74ecfa	Makefile
100755 blob 247b0e8e801a64b93e540375eecc309b138088f9	badges.py
100755 blob cfaf05513fbdb7e1b138a10ab5ded8cf66cce502	bst2html.py
040000 tree 0d363cf3a8709240248917fbb69164c00c0c1c19	examples
040000 tree 4fad04f66a55d73b61c14a31d300ea6ae12b13fd	sessions
040000 tree 8933ef85650c9dc918a988a23c57768600a04587	source