commit | cfb978b48b0fa396e6d3029e19f05b31faa716e4 | [log] [tgz] |
---|---|---|
author | Markus Keller <mkeller> | Mon Jan 23 21:28:47 2012 +0100 |
committer | Markus Keller <mkeller> | Mon Jan 23 21:28:47 2012 +0100 |
tree | 6dc4fff3ec1be8f08c35ebe2c4f57ccedd151b84 | |
parent | b73f6b19b673f8d2286e79ea6d7166cfaa8770f7 [diff] |
Bug 366013: [preferences] Polish preference UI for null annotations