Officialy rename from 'repo' to 'Girocco'
commitcdfe0ab371b22e844475a8d6e3048d8cff7a5b0d
authorPetr Baudis <petr.baudis@novartis.com>
Wed, 23 Jul 2008 17:08:13 +0000 (23 19:08 +0200)
committerPetr Baudis <petr.baudis@novartis.com>
Wed, 23 Jul 2008 17:08:13 +0000 (23 19:08 +0200)
tree794c31c608805f4316027eb078b7060d284eb379
parent5f4b1777474dded29ffe4453c2b6cd9da65a1a1d
Officialy rename from 'repo' to 'Girocco'
README