History of debian / patches @76c657c7-d26b-489e-b125-d6d992f17254/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 13 years ago