Commit 71a0b750 by Vladimír Štill

Add placeholder readme.

parents
# DIVINE Issue Tracker
The actual code can be found in [DARCS](htttps://darcs.net) repository at
<http://divine.fi.muni.cz/current>:
```
$ darcs get http://divine.fi.muni.cz/current divine
```
Development version can be found at `/home/xrockai/src/divine/next` on our machines:
```
$ darcs get /home/xrockai/src/divine/next divine
```
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or sign in to comment