projects / tools / mic.git / tree
| -rw-r--r-- | 39 | .gitignore | blob | history | raw |
| -rw-r--r-- | 651 | Makefile | blob | history | raw |
| -rw-r--r-- | 7 | VERSION | blob | history | raw |
| drwxr-xr-x | - | distfiles | tree | history |
| drwxr-xr-x | - | micng | tree | history |
| drwxr-xr-x | - | plugins | tree | history |
| -rw-r--r-- | 1896 | setup.py | blob | history | raw |
| drwxr-xr-x | - | tests | tree | history |
| drwxr-xr-x | - | tools | tree | history |