Merge: ./switch2std replaced by ./switch-omk2std
authorppisa <pisa@cmp.felk.cvut.cz>
Wed, 13 Jul 2005 12:09:00 +0000 (14:09 +0200)
committerppisa <pisa@cmp.felk.cvut.cz>
Wed, 13 Jul 2005 12:09:00 +0000 (14:09 +0200)
Merge commit 'remotes/sf-ocera-lincan/master'


Trivial merge