diff options
| author | John Wiegley <jwiegley@gmail.com> | 2017-10-26 15:17:55 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-26 15:17:55 -0700 |
| commit | ca2590c639fe7ebbce546ac2dca4d901c0fd5489 (patch) | |
| tree | 62035fc56e025dbfbc71c1f9235236c03a44dc57 /test/CheckTexinfo.py | |
| parent | b41454477a0576952f77a20ee32c38eb1b9c1442 (diff) | |
| parent | dab0039680cde39bd50404d1466f3ad50e012b68 (diff) | |
| download | ledger-ca2590c639fe7ebbce546ac2dca4d901c0fd5489.tar.gz ledger-ca2590c639fe7ebbce546ac2dca4d901c0fd5489.tar.bz2 ledger-ca2590c639fe7ebbce546ac2dca4d901c0fd5489.zip | |
Merge pull request #493 from escondida/double-init
src/global.cc: do not parse user-specified init-file twice
Diffstat (limited to 'test/CheckTexinfo.py')
0 files changed, 0 insertions, 0 deletions