-
Alexandre Duret-Lutz authored
bdd_isrunning() and don't run bdd_init() if it has already been called.
21e2439d
To find the state of this project's repository at the time of any of these versions, check out the tags.
bdd_isrunning() and don't run bdd_init() if it has already been called.