History of debian / patches @b71b0de5-336e-49ab-991b-a53c3723f1fd/main

• nice, a couple of files missing in git :/ gregor herrmann 11 years ago
• update patch header gregor herrmann 11 years ago
• New patch enum.patch: rename "enum" to "enumeration", since enum is a gregor herrmann 14 years ago