equal
deleted
inserted
replaced
832 "Modified: / 22-08-2012 / 11:02:26 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
832 "Modified: / 22-08-2012 / 11:02:26 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
833 ! ! |
833 ! ! |
834 |
834 |
835 !JavaMirror class methodsFor:'documentation'! |
835 !JavaMirror class methodsFor:'documentation'! |
836 |
836 |
|
837 version_CVS |
|
838 ^ '$Header$' |
|
839 ! |
|
840 |
837 version_HG |
841 version_HG |
838 |
842 |
839 ^ '$Changeset: <not expanded> $' |
843 ^ '$Changeset: <not expanded> $' |
840 ! |
844 ! |
841 |
845 |
842 version_SVN |
846 version_SVN |
843 ^ '§Id:: §' |
847 ^ '§Id:: §' |
844 ! ! |
848 ! ! |
|
849 |