index
:
pintos-rs
main
[no description]
git
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
TODO
diff options
context:
1
2
3
4
5
6
7
8
9
10
15
20
25
30
35
40
space:
include
ignore
mode:
unified
ssdiff
stat only
Diffstat
(limited to 'TODO')
-rw-r--r--
TODO
7
1 files changed, 0 insertions, 7 deletions
diff --git a/TODO b/TODO
deleted file mode 100644
index a86e0c0..0000000
--- a/
TODO
+++ /dev/null
@@ -1,7 +0,0 @@
-4: build.rs som hanterar hela bygg-grejen.
-
-.
-.
-.
-
-99: i686-unknown-pintos