summaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorSander Vrijders <sander.vrijders@intec.ugent.be>2016-03-03 17:24:38 +0100
committerSander Vrijders <sander.vrijders@intec.ugent.be>2016-03-03 17:24:38 +0100
commit6746face5a53d48853cb7f1ad0acc587920183b7 (patch)
tree5010a92a11fb402935703e9a110ae02c6e3b97f2 /doc/.gitignore
parent11c709cc077746621e3d9ff2411a748d400f1d4f (diff)
parent4ada2b9494b28a5c724714a4d1fc5b2fb879b0fe (diff)
downloadouroboros-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