leepike/Copilot — Issue #1: Nitpick issue in README.md
Author: srenatus
Created: 2011-12-01 16:13:23+00:00
State: open

Atom is a link to copilot-cbmc where it should (I suppose) be a link to Atom.