diff options
| author | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-03-03 17:24:38 +0100 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-03-03 17:24:38 +0100 |
| commit | 6746face5a53d48853cb7f1ad0acc587920183b7 (patch) | |
| tree | 5010a92a11fb402935703e9a110ae02c6e3b97f2 /doc/.gitignore | |
| parent | 11c709cc077746621e3d9ff2411a748d400f1d4f (diff) | |
| parent | 4ada2b9494b28a5c724714a4d1fc5b2fb879b0fe (diff) | |
| download | ouroboros-6746face5a53d48853cb7f1ad0acc587920183b7.tar.gz ouroboros-6746face5a53d48853cb7f1ad0acc587920183b7.zip | |
Merged in sandervrijders/ouroboros/be-irm (pull request #18)
IRM command line tool
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions