tree 568d81ea7993c855e9f9cb9781d5a8050b659132
parent e6d187a25fde6338717b7c5319fb9cfb6146d092
author Tuncer Ayaz <tuncer.ayaz@gmail.com> 1511255892 +0000
committer Tuncer Ayaz <tuncer.ayaz@gmail.com> 1511255965 +0000

Makefile: remove xref (not needed); use Dialyzer