diff --git a/workspace_tools/export/README.md b/workspace_tools/export/README.md index 2f98cfbb7d..4b4e3cc03d 100644 --- a/workspace_tools/export/README.md +++ b/workspace_tools/export/README.md @@ -1088,7 +1088,7 @@ Exporter IDE/Platform Support - - ✓ - - + ✓ - - - @@ -1145,4 +1145,4 @@ Exporter IDE/Platform Support Total IDEs: 9
Total platforms: 94 -
Total permutations: 288 \ No newline at end of file +
Total permutations: 288