There was an error while loading. Please reload this page.
Fixed github rendering `.adoc` was not interpreted correctly. Renamed files which have to be rendered on github to `.asciidoc`. Signed-off-by: Alessandro Pellegrini <pellegrini@dis.uniroma1.it>
Experimenting The previous commit ain't rendering. Signed-off-by: Alessandro Pellegrini <pellegrini@dis.uniroma1.it>