mirror of
https://github.com/X11Libre/xserver.git
synced 2026-11-03 03:24:39 +00:00
Coverity #38: Dead branch elimination.
This commit is contained in:
parent
9b9dd747d8
commit
f6ca2b3ea9
2 changed files with 6 additions and 1 deletions
|
|
@ -1,3 +1,8 @@
|
|||
2006-04-02 Adam Jackson <ajax@freedesktop.org>
|
||||
|
||||
* hw/dmx/glxProxy/glxcmds.c:
|
||||
Coverity #38: Dead branch elimination.
|
||||
|
||||
2006-04-02 Adam Jackson <ajax@freedesktop.org>
|
||||
|
||||
* Xext/sync.c:
|
||||
|
|
|
|||
Loading…
Reference in a new issue