julianhyde/sqlline — pull request #14 by joeposner (2013-06-26 00:28:44+00:00)
Title: History saving

Changes to when history is saved and fixed config of how it gets saved.