Skip to content
primum

primum kind

Terminal window
primum kind 87 BUG       # prints #87: kind BUG

Changes the item’s kind: line, and nothing else: its number, file, documents and every reference to it stay as they are.