summaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authordimitri staessens <dimitri.staessens@ugent.be>2017-04-04 18:01:56 +0000
committerSander Vrijders <sander.vrijders@ugent.be>2017-04-04 18:01:56 +0000
commit99ff1ce1bd4602b471b758a144f372bc6e1570f8 (patch)
treed42bb5c12ef262f2e343ab3b6369837ebbe65954 /doc/.gitignore
parentc6bda726506552db2135b15df97d3ba76d6ae0a5 (diff)
parent8ccd10988661b9e5070cd08b0a1ce8d911e17270 (diff)
downloadouroboros-99ff1ce1bd4602b471b758a144f372bc6e1570f8.tar.gz
ouroboros-99ff1ce1bd4602b471b758a144f372bc6e1570f8.zip
Merged in dstaesse/ouroboros/be-irmd-res (pull request #460)
Be irmd res
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions