Eric Ramat 81e75cb90e Add new formalism: devs 4 lat temu
..
common 81e75cb90e Add new formalism: devs 4 lat temu
kernel 81e75cb90e Add new formalism: devs 4 lat temu
CMakeLists.txt 31316d9b50 Change project name 6 lat temu