Gerrit Code Review 22d45fc630 Update notes for submitted changes
* TOOL_TIC: Set to "/usr/bin/tic", instead of "tic"
2014-08-14 14:17:21 -04:00
..