Skip to content

Commit 3afcd30

Browse files
committed
Make logger use stdout
1 parent 4eca3f0 commit 3afcd30

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

3rd/flint_gui

0 commit comments

Comments
 (0)