Giters
dinosaure
/
docteur
An opiniated file-system for MirageOS
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
25
Watchers:
3
Issues:
5
Forks:
0
dinosaure/docteur Issues
Pointing at a local bare git repository behaves unexpected
Closed
a year ago
Comments count
2
Be able to functorize `docteur` over a `Mirage_block.S`
Updated
2 years ago
Unix & Xen back-end
Updated
3 years ago
Comments count
1
Handle local Git repository
Closed
3 years ago