diff CONTRIBUTORS @ 4082:ebcb1d32eed9

remove duplicated JSON metatype in codemirror meta.js
author Marcin Kuzminski <marcin@python-works.com>
date Wed, 03 Jul 2013 00:23:30 +0200
parents d8364b7e3451
children 433d6385b216
line wrap: on
line diff