mirror of
https://gitlab.futo.org/keyboard/latinime.git
synced 2024-09-28 14:54:30 +01:00
Merge "Making 'dicttool header' output format version"
This commit is contained in:
commit
0691f29d36
@ -62,6 +62,7 @@ public class Header extends Dicttool.Command {
|
||||
System.out.println("Dictionary : " + dictFile.getAbsolutePath());
|
||||
System.out.println("Size : " + dictFile.length() + " bytes");
|
||||
System.out.println("Format : Binary dictionary format");
|
||||
System.out.println("Format version : " + header.mFormatOptions.mVersion);
|
||||
System.out.println("Packaging : " + spec.describeChain());
|
||||
System.out.println("Header attributes :");
|
||||
System.out.print(header.mDictionaryOptions.toString(2 /* indentCount */, plumbing));
|
||||
|
Loading…
Reference in New Issue
Block a user