alois/ManyCoqDecks
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add issue templates, funding, and details for building.

Browse Source
This commit is contained in:
Gareth Latty
2020-05-23 22:04:50 +01:00
parent 3459ec5527
commit a4f7c0d2d5
5 changed files with 49 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/FUNDING.yml
+1
View File
@@ -0,0 +1 @@
github: [Lattyware]