diff Makefile @ 5790:b1d1903df29e

pdiff: drop unnecessary CLI options
author Sushil khanchi <sushilkhanchi97@gmail.com>
date Wed, 17 Feb 2021 15:37:14 +0530
parents 77729ad7cb0c
children a86c2682f608
line wrap: on
line diff