HomePhabricator

Removed no longer needed debian file

Description

Removed no longer needed debian file

Details

Provenance
danAuthored on Aug 13 2019, 6:55 PM
Parents
rCCa9f71e6bf7f7: Renamed debian file to remove unnecessary package name prefix
Branches
Unknown
Tags
Unknown