minor cleanup

opencog · Mar 28, 2015 · 72d8bd3 · 72d8bd3
1 parent 20cfe6c
commit 72d8bd3
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/lib/opencog _patternminer.conf → lib/opencog_patternminer.conf b/lib/opencog _patternminer.conf → lib/opencog_patternminer.conf