godotengine/godot-monodevelop-addin
1
0
Fork 0
mirror of https://github.com/godotengine/godot-monodevelop-addin.git synced 2025-12-31 17:48:12 +03:00
Code Issues Packages Projects Releases Wiki Activity
7 Commits 2 Branches 2 Tags
master
Commit Graph

3 Commits

Author SHA1 Message Date
Aaron Franke
81eadf3d35 Add a formatting script for GitHub Actions 2020-07-03 23:05:00 -04:00
Ignacio Etcheverry
e22208ffee Fix building twice with PlayInEditor, bump to v1.1 2020-06-26 00:30:28 +02:00
Ignacio Roldán Etcheverry
88f88d80fd Update Messaging library and add Godot completion providers 2020-06-13 13:09:47 +02:00