Gabriel Ferreira 9b62087072 build: Change default build from -O2 -g to -Os -g

2024-02-27 15:37:32 +01:00

..

figures

doc: improve the manual event description

2024-01-27 20:48:38 +00:00

source

build: Change default build from -O2 -g to -Os -g

2024-02-27 15:37:32 +01:00

Makefile

doc: add a Docker section to the manual

2024-02-25 13:55:35 +00:00