Commit 6fcac4576a437f60e050eec706040bdb272eb058

Stefan Sperling 2018-11-19T10:05:28

store number of lines in int instead of size_t