diff options
author | David Herrmann <dh.herrmann@googlemail.com> | 2015-09-23 11:14:32 +0200 |
---|---|---|
committer | David Herrmann <dh.herrmann@googlemail.com> | 2015-09-23 11:14:32 +0200 |
commit | dbb319464a91d2e4592bf5245bc8c08d09f43876 (patch) | |
tree | c7d16bf1bd5ffbfd8488329d087d8bfc5690f466 /src/user-sessions | |
parent | 058d07ff377b41e3cc8f4a2511a9b486f84b8937 (diff) | |
parent | a01a4517e16c532fbd5203fbfe2571255e2cd312 (diff) |
Merge pull request #1341 from filbranden/werror2
Check behavior of -Werror=shadow before deciding to use it
Diffstat (limited to 'src/user-sessions')
0 files changed, 0 insertions, 0 deletions