mirror of
https://github.com/hermitcore/libhermit.git
synced 2025-03-09 00:00:03 +01:00
Merge branch 'devel' of github.com:RWTH-OS/HermitCore into devel
This commit is contained in:
commit
6a6e0b8d12
1 changed files with 2 additions and 0 deletions
2
.gitignore
vendored
2
.gitignore
vendored
|
@ -7,6 +7,8 @@
|
|||
*.pyc
|
||||
*.callgrind
|
||||
*.xray
|
||||
*.o
|
||||
*.ko
|
||||
**/build/*
|
||||
.idea/*
|
||||
qemu-vlan0.pcap
|
||||
|
|
Loading…
Add table
Reference in a new issue