Add roboRIO Team Number Setter tool (#3744)

This commit is contained in:
Thad House
2021-11-30 11:17:30 -08:00
committed by GitHub
parent fa1ceca83a
commit aced2e7da6
22 changed files with 1080 additions and 0 deletions

View File

@@ -0,0 +1,7 @@
/*
* Autogenerated file! Do not manually edit this file. This version is regenerated
* any time the publish task is run, or when this file is deleted.
*/
const char* GetWPILibVersion() {
return "${wpilib_version}";
}