Skip to content
GitLab

Get rid of the awk.Makefile references

Merged Dan Frumin requested to merge dfrumin/coq-stdpp:master into master

Doesn't seem that its necessary