diff options
author | Drew DeVault <sir@cmpwn.com> | 2018-07-09 16:12:20 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-09 16:12:20 -0700 |
commit | 2518de655c7278728736d22549656c639e4c92f0 (patch) | |
tree | acd08ceb9709eb25541fa02fbc533a7c6a99dbad /protocol/server-decoration.xml | |
parent | e78d72f42e10b43a76ef5ba6b8c4b3b470b25245 (diff) | |
parent | 7cbef152063e1fbb24e6204339ff4587a74be04b (diff) |
Merge pull request #1126 from emersion/wlr-log-prefix
util: add wlr_ prefix to log symbols
Diffstat (limited to 'protocol/server-decoration.xml')
0 files changed, 0 insertions, 0 deletions