Modify ↓
Opened 13 years ago
Closed 13 years ago
#4167 closed enhancement (fixed)
[PATCH] Search engine: Improve tags:* documentation and document the timestamp:* search
Reported by: | Owned by: | team | |
---|---|---|---|
Priority: | minor | Milestone: | |
Component: | Core | Version: | latest |
Keywords: | patch | Cc: |
Description
This improves the tags:* documentation and documents the currently working but undocumented timestamp: search.
Attachments (1)
Change History (2)
Changed 13 years ago by
Attachment: | josm-document-tags-and-timestamp-search.patch added |
---|
comment:1 Changed 13 years ago by
Resolution: | → fixed |
---|---|
Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
Document tags:/timestamp: