]> git.lyx.org Git - features.git/commitdiff
projects / features.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 5e33e4f)
Catch improbable exception
authorJean-Marc Lasgouttes <lasgouttes@lyx.org>
Fri, 12 Jul 2019 22:24:21 +0000 (00:24 +0200)
committerJean-Marc Lasgouttes <lasgouttes@lyx.org>
Fri, 12 Jul 2019 22:24:21 +0000 (00:24 +0200)
We know that the exception is correct, but coverity does not.
It would be much better to check that at compile time...


No differences found
Repository for new features