diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2012-12-07 12:51:48 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2012-12-07 12:55:11 -0800 |
| commit | 407d4dd4aa50257bcf0b1dfba0474d372dbe09cd (patch) | |
| tree | 4b588b8aac4e7e8b538be103be78d93408175085 /.gitignore | |
| parent | a0f28aa42271ef014a91c4b8c83d871d7ae0cdf5 (diff) | |
| download | subsurface-407d4dd4aa50257bcf0b1dfba0474d372dbe09cd.tar.gz | |
Fix embarrassing cut and paste bugs
The previous commit 871d7ae0cdf5 "Add option to make ceiling visually
stand out more in the profile" contained not one but two stupid cut and
paste bugs. I cannot begin to explain how this could have worked when I
first tested it.
Reported-by: Jan Schubert <Jan.Schubert@GMX.li>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions