Merge pull request #137 from andibacher/master

Authored by cschumac on May 19 2019, 8:22 AM.

Description

Merge pull request #137 from andibacher/master

Add missing filename extension for manifest file

Details

Committed
GitHub <noreply@github.com>May 19 2019, 8:22 AM
Parents
R183:3981d6576272: Add missing filename extension for manifest file
R183:18746ad2ee5b: Fix display names
Branches
Unknown
Tags
Unknown

Merged Changes

CommitAuthorDetailsCommitted
3981d6576272Andreas Bacher
Add missing filename extension for manifest file 
May 12 2019