charmworld

Code review comment for lp:~adeuring/charmworld/proof-lib-path

  1. proof-lib-path
  2. Merge into trunk
Revision history for this message
Aaron Bentley (abentley) wrote :

Also at 9, it should be "version", not "verion".

« Back to merge proposal