« Previous | Next » 

Revision 42f539ee

ID42f539ee8ef66ba39199644815d3ee0c9c61abb8

Added by Michael Hanselmann about 12 years ago

Check for editor-specific settings at build time

Signed-off-by: Michael Hanselmann <>
Reviewed-by: Iustin Pop <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences