Merge remote branch 'origin/dev' into dae
[auf_rh_dae.git] / devel.cfg
2011-02-21  Nicolas Cadoutest
2011-02-18  Olivier Larchevêquebootstrap