Homec4science

rAKA/doc/manual/manual.aux
05d4cbdcaf2ebugfixes/coverage-not…