Revision f55c2b7232a50744d8f01c89401451db6f5ecf2c

Committed on 22/03/2017 8:58 am by Giuseppe Cossu <[email protected]> [GitHub Diff]

Add specific commands for each distribution