diff: move the diff options menu into the DiffWidget
[git-cola.git] / bin / 
tree1b9943932b86961a304620265bf3c9e0b6b89506
drwxr-xr-x   ..
-rwxr-xr-x 11038 git-cola
-rwxr-xr-x 2280 git-dag