]> rtime.felk.cvut.cz Git - omk.git/commit
Update to copy correctly header-files for RT-Linux.
authorPavel Pisa <pisa@cmp.felk.cvut.cz>
Thu, 20 Sep 2007 13:35:00 +0000 (13:35 +0000)
committerPavel Pisa <pisa@cmp.felk.cvut.cz>
Thu, 20 Sep 2007 13:35:00 +0000 (13:35 +0000)
commitc6175d6a56775934a84a080ba81be321b2268fd4
tree768dc6de674c7db76438ca48c9a16356fed5bac9
parent2f195dc61bd24a6ae3f070dec418530c9a4dde3c
Update to copy correctly header-files for RT-Linux.

darcs-hash:20070920133520-ff715-48d6661400983b130e4ccd440a118513b177a7fd.gz
snippets/linux