Add missing addGroup in entrypoint.sh & Fix typo in default uninstall field - Githubissues

coq-community / docker-coq-action

GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]

MIT License

12 stars 4 forks source link

Add missing addGroup in entrypoint.sh & Fix typo in default uninstall field #37

Closed erikmd closed 4 years ago

erikmd commented 4 years ago

Small bugfix. Will make a point release.