R4R: various changes to version cmd, revert those which previously broke ABI#3436

Merged

cwgoes merged 4 commits intodevelopfrom alessio/1894-version-cmd

Jan 29, 2019

+63-17

Commits on Jan 29, 2019

version prints out short info by default
Alessio Treglia
committed
Add distclean target to Makefile
Alessio Treglia
committed
Update PENDING.md
Alessio Treglia
committed
Add missing targets in .PHONY
Alessio Treglia
committed