Revision 42f539ee
ID | 42f539ee8ef66ba39199644815d3ee0c9c61abb8 |
Check for editor-specific settings at build time
Signed-off-by: Michael Hanselmann <hansmi@google.com>
Reviewed-by: Iustin Pop <iustin@google.com>
Files
- added
- modified
- copied
- renamed
- deleted