diff options
| author | lloyd <[email protected]> | 2008-11-11 02:20:57 +0000 |
|---|---|---|
| committer | lloyd <[email protected]> | 2008-11-11 02:20:57 +0000 |
| commit | 507b1b0996b3640c038d236f60ea86ee6315aeb4 (patch) | |
| tree | 18073171e522ca1f5a7046b4b5959b606adfa763 /src/pbe | |
| parent | daffc235589fb8ec2f4090ba5fb8511462b4a843 (diff) | |
Remove a global_state() dependency on Engine without breaking Monotone
via two-stage initialization.
Diffstat (limited to 'src/pbe')
0 files changed, 0 insertions, 0 deletions