diff options
| author | Joshua Judson Rosen | 2017-03-26 18:52:07 -0400 |
|---|---|---|
| committer | Joshua Judson Rosen | 2017-03-28 22:07:28 -0400 |
| commit | a6307a421f00a227c6a58fed3292da667c89733a (patch) | |
| tree | ca95cd73f641957631715b6cdfe10f331d934a61 /.gitignore | |
| parent | typo-fix: "within a single box", not "withing ..." (diff) | |
| download | gnurobots-a6307a421f00a227c6a58fed3292da667c89733a.tar.gz | |
UI: don't hide counters at startup
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions