summaryrefslogtreecommitdiff
path: root/kernel/.gitignore
diff options
context:
space:
mode:
authornatrixaeria <upezu@student.kit.edu>2019-11-15 20:03:47 +0100
committernatrixaeria <upezu@student.kit.edu>2019-11-15 20:03:47 +0100
commitc6e0e13db0ba0442018645a1184be50e1ec968e0 (patch)
tree5e505f7ed135de40cab2488339fb62c6a279f5d5 /kernel/.gitignore
parentfe488737784da2196b84dbc22b658bf12a5f58f9 (diff)
parent4953b122d995696bc0b656b1c70c57ba5e96bcfd (diff)
Merge branch 'master' of dennis:/var/repos/uff-os
Diffstat (limited to 'kernel/.gitignore')
0 files changed, 0 insertions, 0 deletions