jrpub

Results 1 comments of jrpub

[ unofficial update ] project selection

Hi @pcadeot I tested your version, this is very good. Some potential improvements: - On bigBoard, we lose the project selector in the top bar. This is not practical -...