Opened 10 years ago
Closed 10 years ago
#615 closed bug (fixed)
make information easier to find
| Reported by: | anonymous | Owned by: | somebody |
|---|---|---|---|
| Priority: | minor | Milestone: | 3-2-0 and higher |
| Component: | doc | Version: | 3-1-6 |
| Keywords: | Cc: |
Description
I just spent some time searching for how to unassign a name. Looking for delete, clear, unassign, unset, free, forget, reset does not turn up anything. As it turns out, the command is called kill. The index would become more useful if it would give cross references like these. The full text search failed because the description of "kill" does not contain any of these words - it contains "deletes" but not "delete".
Note: See
TracTickets for help on using
tickets.
fixed with 3da4fac8970196bf294a50a08fd2ba5f8320d02f: add more index entries to kill: delete, unset