[nvim] astronomy: add static colors for coq

mail_filter
David JULIEN 2 years ago
parent ce6a7026d7
commit ee9e0e819d
No known key found for this signature in database
GPG Key ID: 4B388E8BD9D47382

@ -1 +1 @@
Subproject commit c329ff44d3aef42e8347563bf7ae119b5a2a2d70
Subproject commit d77e1cfe127418ab00c6d5fb076f89cdf9b49e94