HomeSoftware Heritage

sql/swh-init: Remove unneeded extension

Description

sql/swh-init: Remove unneeded extension

Details

Provenance
ardumontAuthored on Mar 9 2018, 9:53 AM
ardumontPushed on Mar 9 2018, 10:51 AM
Parents
rDCIDXe3eec95ae4d0: sql: Remove unused file
Branches
Unknown
Tags
Unknown