Refactor the proof api code to make more usable.
WIP
https://code.launchpad.net/~rharding/charmworld/proof-config-2/+merge/192239
(do not edit description out of merge proposal)
Issue 15690049: Refactor the proof api code to make more usable.
Created 10 years, 6 months ago by rharding
Modified 10 years, 6 months ago
Reviewers: mp+192239_code.launchpad.net
Base URL:
Comments: 0