diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -14,5 +14,6 @@ x15.lds /configure /stamp-h1 /x15 +/x15.sorted_init_ops /doc/*\.[1-9] /doc/*\.[1-9]\.html |
index : rbraun/x15.git | ||
The X15 microkernel | Richard Braun |
summaryrefslogtreecommitdiff |
-rw-r--r-- | .gitignore | 1 |
@@ -14,5 +14,6 @@ x15.lds /configure /stamp-h1 /x15 +/x15.sorted_init_ops /doc/*\.[1-9] /doc/*\.[1-9]\.html |