History | View | Annotate | Download (11.8 KB)
quite some update (of submodules)
Bash scripts: introduced a new function to check dependencies.This function is used by several files to ensure that git, make, etc. are available.
updated all file headers to 2019
project initialization