MiguelCastillo/Brackets-InteractiveLinter — pull request #94 by Mark-Simulacrum (2014-12-03 23:33:34+00:00)
Title: Use LESSCSS instead of CSS.

Rename animation to interactive-linter-pulse to prevent name conflicts.