Skip to content

Makefile: Remove "pre-" in DIST

This is useful for work on the prerelease of crimson.

Untested

/cc @guido.gunther as we talked about this.

Merge request reports