• Show log

    Commit

  • Hash : f16c0a9d
    Author : Vicent Martí
    Date : 2011-04-23T14:08:17

    Merged pull request #140 from jpfender/insert-replace.
    
    index: Allow user to toggle whether to replace an index entry