grawity/davinci — pull request #2 by henrikhodne (2012-07-19 19:13:20+00:00)
Title: Add merge command

I believe the old command was `.merge new old`, but I always got it wrong and did `.merge old new`, so I changed it in this version.