Commit 6fee7127 authored by Andreas Marek's avatar Andreas Marek
Browse files

Fix distcheck

parent 6ce953ad