tree fe354b810d111c536538485afbddacfdfaac63b5
parent 2f1711de178e8ebc12903358c4c2c38563c18754
author Kali- <kalimero@ngi.it> 1287354981 +0200
committer Kali- <kalimero@ngi.it> 1287354981 +0200

bravoc: use less confusing build naming