100644 blob e837c816725039c88e4375c66437cae52403ca6a	Makefile
100755 blob 247b0e8e801a64b93e540375eecc309b138088f9	badges.py
100755 blob b3204b8d85ff65f7f97a7125e71e3ae906fe9f46	bst2html.py
040000 tree efd0e2a6ed21d61350ea34c2ddfd55718ac44d6c	examples
040000 tree 038aad44a99482afbde6ac6e5c0601ea82aa3178	sessions
040000 tree d20596525292025b1bd9d08fcad184920ba36c4f	source