100644 blob f6cbce77460b6026b2a1fe278a32991661b8f7f6	.gitignore
100644 blob 5202dc6662062e1ae39188409dd8c2e130718da9	Makefile
040000 tree 3bf0d3cd2a88d0a802e0efe8a6b82cb9bde535bb	bin
040000 tree ef7a473dbfafe590c25980c1238fb9cc83a0124b	configs
040000 tree aebfd6fe66c42c641056255cf10badb39301d228	doc
040000 tree b6d7f9019082d51ee5fcd8795dcd965f1714c378	formal