diff options
author | jadephilipoom <jade.philipoom@gmail.com> | 2017-05-14 16:24:40 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-05-14 16:24:40 -0400 |
commit | a6e0ab7466b2f8a717af2a463edc1d72eab99b5e (patch) | |
tree | 29ead445d913b407cac5047414e30c198148378f /src/Util/Tactics | |
parent | 8a223dbfe035248f2a3dd562a948cb2960993abd (diff) |
remove lingering [About]
Diffstat (limited to 'src/Util/Tactics')
0 files changed, 0 insertions, 0 deletions