alois/CoqDecks
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
d95c558cc8faeda33a3a40429a703a4e41a26697
CoqDecks/project/build.properties
T

2 lines
19 B
Properties
Raw Blame History

sbt.version=0.13.8
Reference in New Issue View Git Blame Copy Permalink