blob: fb6c181acda613f69912e7ce5596d1344bd9ed7c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- input.cc.orig Sun Aug 1 13:28:22 1993
+++ input.cc Sat Aug 3 17:04:16 1996
@@ -134,6 +134,8 @@
else if (!argcmp(argv[i], "-from", 4)) // Print originators name.
print_orig = 1 ;
+ else if (!argcmp(argv[i], "-F", 2)) // backward compatiblity
+ print_orig = 1 ;
else if (!argcmp(argv[i], "-help", 2)) // Print usage message.
usage() ;
|