Files
CoqDecks/package.json
T

11 lines
180 B
JSON

{
"name": "massivedecks",
"version": "1.0.0",
"devDependencies": {
"gulp": "^3.9.1",
"gulp-elm": "^0.4.4",
"gulp-help": "^1.6.1",
"gulp-util": "^3.0.7"
}
}