]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 46939d8) | patch
added support for X11 clipboard pasting with CTRL-V shortcut
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 4 Sep 2003 16:42:13 +0000 (16:42 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 4 Sep 2003 16:42:13 +0000 (16:42 +0000)
commit133ceff9a6036150f71f3da27620c32187dd0a82
tree6f1ea5f9c4abf2fc178db0fffbc81d52ae49bd07tree | snapshot
parent46939d82c0fe0dbd6b2519845875bf48b5454856commit | diff
added support for X11 clipboard pasting with CTRL-V shortcut
helm/gTopLevel/texTermEditor.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.