diff options
author | Wojciech Kępka | 2021-06-13 09:53:35 +0000 |
---|---|---|
committer | Blaž Hrastnik | 2021-06-13 11:48:18 +0000 |
commit | d008e860379df590cd2a948ec490351ed30ca5b1 (patch) | |
tree | 054ba49fcbb98503d1c6e1712c159ab306a0e6f1 /book/.gitignore | |
parent | b9100fbd44ee91d099ac95db3d0503dfcad80cff (diff) |
`Document::is_modified` should not check if path is set
If there is a new document we still want to know if there are unsaved changes
Diffstat (limited to 'book/.gitignore')
0 files changed, 0 insertions, 0 deletions