Merged pull request #140 from jpfender/insert-replace. index: Allow user to toggle whether to replace an index entry
2011-04-23T14:08:17