Merge pull request #789 from thockin/cleanups2

Rename files: stringlist -> list (similar to set)
This commit is contained in:
brendandburns
2014-08-06 22:41:46 -07:00
2 changed files with 0 additions and 0 deletions