diff options
Diffstat (limited to 'Master/tlpkg/doc/JSON-formats.txt')
| -rw-r--r-- | Master/tlpkg/doc/JSON-formats.txt | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Master/tlpkg/doc/JSON-formats.txt b/Master/tlpkg/doc/JSON-formats.txt index c2917098e67..d9a1259443e 100644 --- a/Master/tlpkg/doc/JSON-formats.txt +++ b/Master/tlpkg/doc/JSON-formats.txt @@ -1,7 +1,10 @@ +$Id$ +(This file public domain.) + JSON formats for the various outputs of tlmgr ============================================= -Guaranteed to be present fields are marked with a * +Fields guaranteed to be present are marked with a * TLPOBJ ------ |