-
Christoph Groth authored
We do not use it, but this makes sure that it's included in SOURCES.txt. This is necessary so that source distributions can be recreated identically from source distributions.
8404d837
We do not use it, but this makes sure that it's included in SOURCES.txt. This is necessary so that source distributions can be recreated identically from source distributions.