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