Small changes
authorbdemsky <bdemsky>
Wed, 1 Nov 2006 19:20:38 +0000 (19:20 +0000)
committerbdemsky <bdemsky>
Wed, 1 Nov 2006 19:20:38 +0000 (19:20 +0000)
commitf904ad3c995332e55775be33dddec82dfb8a8dbd
treedb17bc768f873f200cd1f2c0529e1a1c08f25813
parentbab7ee04d287a854e5217e6bd3bb63c696bfc0bc
Small changes
Robust/src/ClassLibrary/FileInputStream.java
Robust/src/Makefile
Robust/src/Runtime/runtime.c
Robust/src/Tests/Logger.java