Changed name to Scratchy.
[scratchy.git] / scratchy.scm
2019-06-18 Tim VaughanChanged name to Scratchy.