Skip to content
This repository has been archived by the owner on Dec 15, 2022. It is now read-only.

Allow $dollar$ signs in identifiers #272

Merged
merged 3 commits into from Nov 27, 2015
Merged

Allow $dollar$ signs in identifiers #272

merged 3 commits into from Nov 27, 2015

Commits on Nov 27, 2015

  1. 🎨

    @MaximSokolov
    MaximSokolov committed Nov 27, 2015
    Copy the full SHA
    95273ce View commit details
    Browse the repository at this point in the history

  2. 🐛 Allow dollar sign in identifiers

    @MaximSokolov
    MaximSokolov committed Nov 27, 2015
    Copy the full SHA
    81c5ffd View commit details
    Browse the repository at this point in the history

  3. 🎨

    @MaximSokolov
    MaximSokolov committed Nov 27, 2015
    Copy the full SHA
    e6be6f0 View commit details
    Browse the repository at this point in the history