commit | c6ac8870d5bb9d0cb60b412c14b9b4e7c5e5dc7f | [log] [tgz] |
---|---|---|
author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | Wed Aug 14 18:04:18 2013 +0200 |
committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | Tue Aug 20 20:46:04 2013 +0200 |
tree | 991190097951e0ce9ed8450e13661a605fc7117f | |
parent | b3d9187cea02e745b05d4fd686d95f0836d81c08 [diff] |
Nicer interface between PK and debug. Finally get rid of pk_context.type member, too.