diff --git a/Script/VERSION b/Script/VERSION index 22581a36b0c753e218ebee9953d912752cd1e10f..7fa2f39a431d89d861558d0921c6e6b1bbf9242a 100644 --- a/Script/VERSION +++ b/Script/VERSION @@ -1,2 +1,3 @@ $HeadURL$ +$Revision$