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

7 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Ignacio Roldán Etcheverry
5299dc7fc0 Merge pull request #3 from aaronfranke/formatting 
Add a formatting script for GitHub Actions and add GitHub metadata
 2020-07-04 23:03:45 +02:00
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 v1.1 2020-06-26 00:30:28 +02:00
Ignacio Roldán Etcheverry
0983420925 Support the new Godot project flavor guid v1.0 2020-06-16 00:07:44 +02:00
Ignacio Roldán Etcheverry
88f88d80fd Update Messaging library and add Godot completion providers 2020-06-13 13:09:47 +02:00
Ignacio Etcheverry
91ace0246c Update to use GodotTools.IdeMessasing 2020-05-11 20:52:46 +02:00
Ignacio Etcheverry
60dd167788 Initial commit 2019-10-31 12:28:21 +01:00