diff options
Diffstat (limited to 'dist/Devel-PPPort/parts/base/5013011')
-rw-r--r-- | dist/Devel-PPPort/parts/base/5013011 | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/dist/Devel-PPPort/parts/base/5013011 b/dist/Devel-PPPort/parts/base/5013011 index 91269f0e7a..a41448d5a8 100644 --- a/dist/Devel-PPPort/parts/base/5013011 +++ b/dist/Devel-PPPort/parts/base/5013011 @@ -1,2 +1,7 @@ 5.013011 add_cp_to_invlist # F added by devel/scanprov +ANYOF_CLASS_SETALL # Z added by devel/scanprov +GREEK_CAPITAL_LETTER_MU # Z added by devel/scanprov +LATIN_CAPITAL_LETTER_A_WITH_RING_ABOVE # Z added by devel/scanprov +LATIN_CAPITAL_LETTER_Y_WITH_DIAERESIS # Z added by devel/scanprov +LATIN_SMALL_LETTER_A_WITH_RING_ABOVE # Z added by devel/scanprov |