🎉 Added webots

This commit is contained in:
Edgar 2020-04-21 11:09:19 +02:00
parent dd4dfcf0a4
commit 648d716cf3
No known key found for this signature in database
GPG Key ID: 4A6D77F8CCD2CBAC

16
webots.json Normal file
View File

@ -0,0 +1,16 @@
{
"checkver": {
"url": "https://api.github.com/repos/cyberbotics/webots/releases/latest",
"jp": "$.tag_name"
},
"autoupdate": {
"url": "https://github.com/cyberbotics/webots/releases/download/$version/webots-$version_setup.exe"
},
"env_set": {
"WEBOTSROOT": "$dir"
},
"version": "R2020a-rev1",
"innosetup": true,
"url": "https://github.com/cyberbotics/webots/releases/download/R2020a-rev1/webots-R2020a-rev1_setup.exe",
"hash": "13730aca98f7e24bc794951a19f2c99477a59024d4e25df319cf8c1a3f570646"
}