fix make uninstall - Githubissues

DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq

MIT License

199 stars 50 forks source link

fix make uninstall #124

Closed liyishuai closed 5 years ago