diff options
Diffstat (limited to 'dist/Devel-PPPort/parts/base/5033008')
-rw-r--r-- | dist/Devel-PPPort/parts/base/5033008 | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/dist/Devel-PPPort/parts/base/5033008 b/dist/Devel-PPPort/parts/base/5033008 new file mode 100644 index 0000000000..6ea8f91030 --- /dev/null +++ b/dist/Devel-PPPort/parts/base/5033008 @@ -0,0 +1,12 @@ +5.033008 +COPHH_EXISTS # Z added by devel/scanprov +cophh_exists_pv # U +cophh_exists_pvn # U +cophh_exists_pvs # U +cophh_exists_sv # U +cop_hints_exists_pv # U +cop_hints_exists_pvn # U +cop_hints_exists_pvs # U +cop_hints_exists_sv # U +DEBUG_POST_STMTS # Z added by devel/scanprov +DEBUG_PRE_STMTS # Z added by devel/scanprov |