Made man page gzip creation deterministic. Closes #2363.

Browse Source

pull/2368/merge

Jussi Pakkanen 7 years ago

parent bea6b1a6f6

commit 876b2475dd

1 changed files with 3 additions and 1 deletions

Whitespace

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Split View

Diff Options

Show Stats Download Patch File Download Diff File

Write Preview

Loading…

Cancel

Save