Select Git revision
dev

Hugo Trentesaux authored
* revert spec version will be managed in #195 * update instructions * update runtime version and documentation to generate it locally
* revert spec version will be managed in #195 * update instructions * update runtime version and documentation to generate it locally