Fabio Erculiani 0d6dbc3f0a [entropy.server] replace "database" with "repository" in ui messages

2010-08-15 15:32:25 +02:00

..

entropy

[entropy.server] replace "database" with "repository" in ui messages

2010-08-15 15:32:25 +02:00

tests

[tests] also run const tests

2010-08-12 20:58:25 +02:00