summaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authordimitri staessens <dimitri.staessens@ugent.be>2017-05-24 09:54:12 +0000
committerSander Vrijders <sander.vrijders@ugent.be>2017-05-24 09:54:12 +0000
commitbe49633c7069c2a2273add8c1dd0425a8f25dd1e (patch)
tree4647e7be5bf83ca853b32b35d926cbc0450ddb48 /doc/.gitignore
parent6cbe31eb5a14eaa993200fe7fe5710aab4b999f3 (diff)
parent3d887b172c37c4418c6173048e6a317eb0c36e57 (diff)
downloadouroboros-be49633c7069c2a2273add8c1dd0425a8f25dd1e.tar.gz
ouroboros-be49633c7069c2a2273add8c1dd0425a8f25dd1e.zip
Merged in dstaesse/ouroboros/be-normal-dt-reg (pull request #510)
ipcpd: Allow registering protocol machines with DT
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions