chiark / gitweb /
Merge pull request #57 from ymjmsghs1/change_type
authornickjsanders <nick.j.sanders@gmail.com>
Fri, 15 Dec 2017 19:44:03 +0000 (11:44 -0800)
committerGitHub <noreply@github.com>
Fri, 15 Dec 2017 19:44:03 +0000 (11:44 -0800)
commitdd550fcf808a97a822a7d32ae18b1ee9a5213001
tree2983ed8da1385439fff66aad3a4ce0bf5babfc12
parent0f05a3e13a382eda453166789f49b144a55f4b10
parent041ac51f5816dfdd813352db984591664afebb9a
Merge pull request #57 from ymjmsghs1/change_type

Change integer 'use_logfile_' to boolean