commit | cc3576bda7133baa18871cc9a8b3891c6ba62014 | [log] [tgz] |
---|---|---|
author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Nov 25 13:32:47 2010 +0000 |
committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Nov 25 13:32:47 2010 +0000 |
tree | b846fd4b266dfc179413611a86ca191a68baa864 | |
parent | 9bc81d4fcf8a2bec98219c8ac5237cc09afc4310 [diff] |
move two constants to a public place to avoid discouraged access between two of our own plugins.