summaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorSander Vrijders <sander.vrijders@intec.ugent.be>2016-08-10 13:07:59 +0200
committerSander Vrijders <sander.vrijders@intec.ugent.be>2016-08-10 13:07:59 +0200
commit26b20744a441705accbe550aa0b996f8601a9404 (patch)
tree9b33b5d1888cd4fb338b57b7b1aa90349668eb8b /doc/.gitignore
parente5cb8042c9f0c6374c4f14bf7ff3f4fe3cdcd155 (diff)
parent9740c4bf2966d57d6f7e0d034a862211cb3814c4 (diff)
downloadouroboros-26b20744a441705accbe550aa0b996f8601a9404.tar.gz
ouroboros-26b20744a441705accbe550aa0b996f8601a9404.zip
Merged in dstaesse/ouroboros/be-irmd-cleanup (pull request #201)
irmd: Graceful shutdown
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions