?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 3b065c9) | patch
Add better usage help to random_check.sh script
commit84b89095682304c2b8b70840e9e37e29cec9971e
authorVojtech Horky <vojtechhorky@users.sourceforge.net>
Thu, 24 Apr 2014 08:05:12 +0000 (24 10:05 +0200)
committerVojtech Horky <vojtechhorky@users.sourceforge.net>
Thu, 24 Apr 2014 08:05:12 +0000 (24 10:05 +0200)
tree86826a448d480b9fd6c635b1aeed866742ae94a6tree | snapshot (tar.gz zip)
parent3b065c910c94ce4ab22d45d77bb2db63ebe7151ccommit | diff
Add better usage help to random_check.sh script
contrib/tools/random_check.sh diff | blob | blame | history
A portable microkernel-based multiserver operating system written from scratch.