100644 blob f6cbce77460b6026b2a1fe278a32991661b8f7f6	.gitignore
100644 blob 5202dc6662062e1ae39188409dd8c2e130718da9	Makefile
040000 tree a27fba248ac27cdb319503046771c9f490c5bc00	bin
040000 tree b06ef2a6d1cda4376fe2a83b9c18de14b3fbf5e5	configs
040000 tree aebfd6fe66c42c641056255cf10badb39301d228	doc
040000 tree b6d7f9019082d51ee5fcd8795dcd965f1714c378	formal