Skip to content
Snippets Groups Projects
Markus Blatt's avatar
Markus Blatt authored
The name of the file changed in one of the recent patches. This
change is now also reflected in the install directive. Fixes #1426
3138d121
History
Name Last commit Last update