pull down to refresh
Thinking about it, diff must be among the oldest productivity tools I still use every day - for over 30 years now, and I was 20 years late to the party!
diff
The paper is nice to read too.
Thinking about it,
diffmust be among the oldest productivity tools I still use every day - for over 30 years now, and I was 20 years late to the party!The paper is nice to read too.