Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Spot
Spot
Repository
894c864fd5f0789069c5bd956b4207876a5063b5
Switch branch/tag
spot
buddy
src
kernel.c
Find file
Blame
History
Permalink
* src/kernel.c (bdd_default_gbchandler): Log garbage collection to
· 894c864f
Alexandre Duret-Lutz
authored
Sep 19, 2007
stderr, not stdout. Reported by Kristin Yvonne Rozier <kyrozier@cs.rice.edu>.
894c864f