diff options
| author | Mike Vink <mike1994vink@gmail.com> | 2021-05-10 09:46:47 +0200 |
|---|---|---|
| committer | Mike Vink <mike1994vink@gmail.com> | 2021-05-10 09:46:47 +0200 |
| commit | 663bcd4d4e246eaec4efa6eac007e0beda9a48c7 (patch) | |
| tree | 9b1673801dd854e2328de9b5f10a7fda0fced11f /deliverable/main.dmg | |
| parent | 91a8ef77a811fb86fd5792a9ed6792cdbd75c5a5 (diff) | |
final final
Diffstat (limited to 'deliverable/main.dmg')
| -rw-r--r-- | deliverable/main.dmg | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/deliverable/main.dmg b/deliverable/main.dmg index 54fc825..568e3c3 100644 --- a/deliverable/main.dmg +++ b/deliverable/main.dmg @@ -1,7 +1,7 @@ This is makeindex, version 2.15 [TeX Live 2020] (kpathsea + Thai support). Scanning style file ./main.ist.............................done (29 attributes redefined, 0 ignored). -Scanning input file main.dmn....done (81 entries accepted, 0 rejected). -Sorting entries....done (487 comparisons). -Generating output file main.dmd....done (21 lines written, 0 warnings). +Scanning input file main.dmn....done (83 entries accepted, 0 rejected). +Sorting entries....done (516 comparisons). +Generating output file main.dmd....done (22 lines written, 0 warnings). Output written in main.dmd. Transcript written in main.dmg. |