log

age author description
Tue, 14 May 2019 19:38:51 +0200 Benjamin Golinvaux Added info display map to the app + global logging function + fixed bisecting
Tue, 14 May 2019 19:38:15 +0200 Benjamin Golinvaux Fixed broken previous merge
Tue, 14 May 2019 18:39:50 +0200 Alain Mazy merge am-dev -> default
Tue, 14 May 2019 18:24:12 +0200 Alain Mazy allow unregistered command line options (seems that it does not work in WASM !!) am-dev