]> rtime.felk.cvut.cz Git - omk.git/commit
Manual name changed.
authorMichal Sojka <sojkam1@fel.cvut.cz>
Mon, 22 Oct 2007 14:07:00 +0000 (14:07 +0000)
committerMichal Sojka <sojkam1@fel.cvut.cz>
Mon, 22 Oct 2007 14:07:00 +0000 (14:07 +0000)
commitba5a53f2acec2d73bc3e1eb27923ab93c5b478d8
tree0655acb6b5827898a3a5d672fefe79038cef3eac
parentf5a8bb311f3108e29536ec58b2b5f72b9553990a
Manual name changed.

darcs-hash:20071022140740-f2ef6-b3c66e39e070e2467abefadd7c8fe162bb22fe5f.gz
doc/Makefile
doc/omk-manual.texinfo [moved from doc/manual.texinfo with 100% similarity]