Merge pull request #10 from jschwartzenberg/debdotsh-fixes
authorAnton Burdinuk <clark15b@gmail.com>
Thu, 17 Jan 2019 20:54:00 +0000 (23:54 +0300)
committerGitHub <noreply@github.com>
Thu, 17 Jan 2019 20:54:00 +0000 (23:54 +0300)
commit3e40cc0fa69f8ba71fbb9cd34233bd5738bec895
tree71b59c38f4ed61c14e15100374bc8eaa9be8529a
parente4e542d9b6d0043d470fda283e2cd325bbb91950
parent7863a0d2c1e49e031df251f9144fd4772168da5c
Merge pull request #10 from jschwartzenberg/debdotsh-fixes

Include all ui files in the Debian package