diff options
author | John Fultz <jfultz@wolfram.com> | 2014-11-29 00:51:39 -0600 |
---|---|---|
committer | John Fultz <jfultz@wolfram.com> | 2014-11-29 00:51:39 -0600 |
commit | 2cf97471754e772677dc6d1420199791f2665196 (patch) | |
tree | 715d8720d679d0ae62414c0864e8d8f840fa19d6 /data/strategy/korean/superleaves | |
parent | d95f66519f08d28c671d6ac8c3ce448805ec8af0 (diff) |
Remove obsolete or useless strategy files.
Diffstat (limited to 'data/strategy/korean/superleaves')
-rw-r--r-- | data/strategy/korean/superleaves | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/data/strategy/korean/superleaves b/data/strategy/korean/superleaves deleted file mode 100644 index e69de29..0000000 --- a/data/strategy/korean/superleaves +++ /dev/null |