The permissions on this repository are being updated. This may take a while.
During this time, you or some of the project's contributors may not be able
to push to this repository.
c19a326Add a message if somehow the project get compiled in 'devel' mode
Authored and Committed by Sylvain Colinet
10 months ago