History of debian / patches @e1498905-041b-47e5-a039-f1cd066c010a/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