diff options
| author | Arun Isaac | 2022-07-09 11:33:58 +0530 |
|---|---|---|
| committer | Arun Isaac | 2022-07-09 16:41:02 +0530 |
| commit | 94ceb9d5a66ecc67088874855771141240b76bc4 (patch) | |
| tree | c44b0c3ef26c8d712bf19242f977d63d949ad8ec /issues/github-like-milestones.gmi | |
| parent | 2f5578be4545af1dd530bfc7a1ef235620ba9519 (diff) | |
| download | tissue-94ceb9d5a66ecc67088874855771141240b76bc4.tar.gz tissue-94ceb9d5a66ecc67088874855771141240b76bc4.tar.lz tissue-94ceb9d5a66ecc67088874855771141240b76bc4.zip | |
document: Prefix ID term with document type.
We need to prefix the ID term in order to distinguish between future
document types (such as the commit document type) that may not be
based off a file.
* tissue/document.scm (document-id-term): Prefix ID term with "file."
indicating the document type.
Diffstat (limited to 'issues/github-like-milestones.gmi')
0 files changed, 0 insertions, 0 deletions