Revision 94b1fdd79703ee5c9a164c3ab32e7c8c8db08e28 authored by Lennard Gäher on 17 September 2019, 07:20:29 UTC, committed by Lennard Gäher on 17 September 2019, 07:20:29 UTC
1 parent ccf1674
Makefile.coq.local
post-all::
./update_plugin.sh
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...