Merge pull request opencog#3238 from ngeiswei/remove-sumo-script

Remove duplicated and obsolete script
indigos33k3r · Jun 29, 2018 · f771cdf · f771cdf
2 parents 880118c + 0029a5f
commit f771cdf
Showing 1 changed file with 0 additions and 140 deletions.
diff --git a/opencog/python/sumo/sumo.py b/opencog/python/sumo/sumo.py