Maximilian Luz 8b597b4ebf pkg/fedora: Fix missing Makefile.rhelver ... Just create the file via 'touch'. This shouldn't break anything if the file happens to turn up at some point.		2021-12-08 17:08:18 +01:00
..
arch	Update v5.15 patches	2021-12-08 17:05:00 +01:00
debian	pkg/debian: Update Debian specific patches	2021-11-20 04:36:23 +01:00
fedora	pkg/fedora: Fix missing Makefile.rhelver	2021-12-08 17:08:18 +01:00
keys	Update the GPG and secureboot keys	2020-01-20 22:22:32 +01:00