diff options
| author | Sander Vrijders <sander.vrijders@ugent.be> | 2017-04-12 13:10:17 +0000 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@ugent.be> | 2017-04-12 13:10:17 +0000 |
| commit | bbe2b2be8814c1c2bcc318e47715f7224b47cc5a (patch) | |
| tree | 47078ceb35af29665fea130fdee589a114dad934 /src/lib/dif_config.proto | |
| parent | cc0816154b756b870264272315fe5a6f1ed06efe (diff) | |
| parent | 74fe5f5ebbcd9a174ad8c597e4c8d1d211c7f0a5 (diff) | |
| download | ouroboros-bbe2b2be8814c1c2bcc318e47715f7224b47cc5a.tar.gz ouroboros-bbe2b2be8814c1c2bcc318e47715f7224b47cc5a.zip | |
Merged in sandervrijders/ouroboros/be-man-install (pull request #477)
build: Install manpages
Diffstat (limited to 'src/lib/dif_config.proto')
0 files changed, 0 insertions, 0 deletions