lp:~verifypn-cpn/verifypn/verifypn-games
Created by
Peter Gjøl Jensen
on
2019-04-05
and last modified on
2021-02-02
- Get this branch:
- bzr branch lp:~verifypn-cpn/verifypn/verifypn-games
Members of
verifypn-cpn
can upload to this branch. Log in for directions.
Branch merges
Branch information
Recent revisions
- 260. By Peter G. Jensen <email address hidden> on 2020-09-25
-
fixed unitialized variable leading to non-det choice of successors in POR in rare cases.
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:verifypn