Opened 9 years ago

Closed 9 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:


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".

Change History (1)

comment:1 Changed 9 years ago by hannes

Resolution: fixed
Status: newclosed

fixed with 3da4fac8970196bf294a50a08fd2ba5f8320d02f: add more index entries to kill: delete, unset

Note: See TracTickets for help on using tickets.