branch | jv |
changeset 12128 | a7ff7d66ee85 |
parent 12125 | 0c49a3b13e43 |
child 12431 | 9f0c59c742d5 |
12127:2cd2752646a7 | 12128:a7ff7d66ee85 |
---|---|
519 version_CVS |
519 version_CVS |
520 ^ '§Header: /cvs/stx/stx/libtool/BookmarkListEditor.st,v 1.3 2011/11/18 13:33:19 cg Exp §' |
520 ^ '§Header: /cvs/stx/stx/libtool/BookmarkListEditor.st,v 1.3 2011/11/18 13:33:19 cg Exp §' |
521 ! |
521 ! |
522 |
522 |
523 version_SVN |
523 version_SVN |
524 ^ '$Id$' |
524 ^ '$Id: BookmarkListEditor.st 7854 2012-01-30 17:49:41Z vranyj1 $' |
525 ! ! |
525 ! ! |