diff options
author | 2003-06-08 20:30:12 +0000 | |
---|---|---|
committer | 2003-06-08 20:30:12 +0000 | |
commit | bc447583fd85d770bc676162c7b124bbfbe9b84e (patch) | |
tree | 0a7250aea055700e63b70697259508c380089826 /twelf/twelf.el | |
parent | 19973e74dbbc8e83ccf755a46d872cf604b41312 (diff) |
Add simple but effective identifier-under-mouse-query command.
Diffstat (limited to 'twelf/twelf.el')
0 files changed, 0 insertions, 0 deletions