diff options
author | Stephan Bergmann <sbergman@redhat.com> | 2016-04-16 20:40:06 +0200 |
---|---|---|
committer | Stephan Bergmann <sbergman@redhat.com> | 2016-04-18 15:30:10 +0200 |
commit | 868feeed831685b4e573cc8a5a3e9ed1bceae472 (patch) | |
tree | d09e51941acadf3042ae33297933daa57459dc20 /instsetoo_native | |
parent | 7ef97b93d7fbf41bb4d9b01f736c28cb382603c9 (diff) |
Fix comment
...after 9b1307f790c550d91b062cbdf1e3fe41d7e7ea4a "Avoid reserved identifiers"
Change-Id: Ieec5e6b46483f557f63fd22855484df5688dd1b4
Diffstat (limited to 'instsetoo_native')
0 files changed, 0 insertions, 0 deletions