| Ricardo Cerqueira | c7d3c00 | 2014-11-26 10:33:02 -0800 | [diff] [blame] | 1 | type adbtcp_prop, property_type; |
| Steve Kondik | 0814cd3 | 2014-12-01 10:38:25 -0800 | [diff] [blame] | 2 | type recovery_prop, property_type; |
| Georg Veichtlbauer | 9949900 | 2015-02-04 18:17:31 +0100 | [diff] [blame] | 3 | type userinit_prop, property_type; |