deesix cb27e5314a @@@ remove scripts %!s(int64=4) %!d(string=hai) anos
..
file_read.c 91bab2ef98 Close files that were fopen:ed %!s(int64=4) %!d(string=hai) anos
hello-knight-posix.sh f2094a9e5b Migrate knight-posix to M2libc %!s(int64=4) %!d(string=hai) anos
proof.answer 91bab2ef98 Close files that were fopen:ed %!s(int64=4) %!d(string=hai) anos
run_test.sh 05d962fcfc @@@ unify 64 bits archs (run_test.sh) %!s(int64=4) %!d(string=hai) anos