# Encoding: UTF-8

[{name: "Miscellaneous",
  scope: "source.gri",
  settings: 
   {highlightPairs: [["(", ")"], ["{", "}"]],
    increaseIndentPattern: "\\b(?i:(while))\\b",
    smartTypingPairs: [["(", ")"], ["{", "}"], ["\"", "\""]]},
  uuid: "3BC63705-0826-4C6F-B0F4-7417722655DB"}]