This commit is contained in:
parent
e02c4a11a7
commit
98fab0c419
4 changed files with 12 additions and 15 deletions
14
.gitignore
vendored
14
.gitignore
vendored
|
|
@ -1,8 +1,8 @@
|
|||
_build/
|
||||
mirage/
|
||||
dist/
|
||||
dune.build
|
||||
dune.config
|
||||
dune-project
|
||||
dune-workspace
|
||||
duniverse/
|
||||
unikernel/mirage/
|
||||
unikernel/dist/
|
||||
unikernel/dune.build
|
||||
unikernel/dune.config
|
||||
unikernel/dune-project
|
||||
unikernel/dune-workspace
|
||||
unikernel/duniverse/
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue