comparison 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
comparison
equal deleted inserted replaced
5789:d0389ddf402d 5790:b1d1903df29e