@ 261105.1
current

Description="Plain text"

Categories = {"text"}

Keywords={
}

Comments={
}

-- disable highlighting of numbers
Digits = Identifiers


EnableIndentation=true