summaryrefslogtreecommitdiff
path: root/dis
diff options
context:
space:
mode:
authorValery Ushakov <uwe@stderr.spb.ru>2017-08-17 00:13:41 +0300
committerValery Ushakov <uwe@stderr.spb.ru>2017-08-17 00:13:41 +0300
commit4a062f32e3dd93bf371feb27f3ccc28d7930099e (patch)
tree3f82934c7fd112eecc65efa0db68ed759028f76e /dis
parentc12c42236c5882afe34356ec8e4088a6ac9c3629 (diff)
parent8823998c509302a526d8711095f664dd06997234 (diff)
Merged with inferno-os/inferno-os via default.
Diffstat (limited to 'dis')
-rw-r--r--dis/lib/factotum.disbin7319 -> 7285 bytes
-rw-r--r--dis/limbo.disbin343624 -> 343678 bytes
-rw-r--r--dis/mount.disbin5602 -> 5568 bytes
3 files changed, 0 insertions, 0 deletions
diff --git a/dis/lib/factotum.dis b/dis/lib/factotum.dis
index e994c9cd..789a1dd6 100644
--- a/dis/lib/factotum.dis
+++ b/dis/lib/factotum.dis
Binary files differ
diff --git a/dis/limbo.dis b/dis/limbo.dis
index 0bf51ff0..b4e3acac 100644
--- a/dis/limbo.dis
+++ b/dis/limbo.dis
Binary files differ
diff --git a/dis/mount.dis b/dis/mount.dis
index 9593dc47..1666bb5f 100644
--- a/dis/mount.dis
+++ b/dis/mount.dis
Binary files differ