Skip to content

Get rid of the awk.Makefile references

Dan Fruminrequested to merge
dfrumin/coq-stdpp:master into master

Doesn't seem that its necessary

Merge request reports