0000000000000000000000000000000000000000 3aa6c430bf657cc46901af827b39435ac50555b8 Martin Bodin <martin.bodin@ens-lyon.org> 1483810310 +0100	clone: from https://github.com/kframework/k-editor-support
