2019-05-02 21:15:47 +02:00
|
|
|
Index: parallel-20190422/src/parallel
|
2017-07-07 17:57:31 +02:00
|
|
|
===================================================================
|
2019-05-02 21:15:47 +02:00
|
|
|
--- parallel-20190422.orig/src/parallel
|
|
|
|
+++ parallel-20190422/src/parallel
|
|
|
|
@@ -1609,7 +1609,7 @@ sub parse_options(@) {
|
|
|
|
#
|
|
|
|
# If you are an honest person please read the above before
|
|
|
|
# changing this line.
|
2017-07-07 17:57:31 +02:00
|
|
|
- citation_notice();
|
2019-05-02 21:15:47 +02:00
|
|
|
+ # citation_notice();
|
|
|
|
|
2017-07-07 17:57:31 +02:00
|
|
|
parse_halt();
|
|
|
|
|
2019-05-02 21:15:47 +02:00
|
|
|
Index: parallel-20190422/src/sem
|
2018-08-08 18:47:41 +02:00
|
|
|
===================================================================
|
2019-05-02 21:15:47 +02:00
|
|
|
--- parallel-20190422.orig/src/sem
|
|
|
|
+++ parallel-20190422/src/sem
|
|
|
|
@@ -1609,7 +1609,7 @@ sub parse_options(@) {
|
|
|
|
#
|
|
|
|
# If you are an honest person please read the above before
|
|
|
|
# changing this line.
|
2017-07-07 17:57:31 +02:00
|
|
|
- citation_notice();
|
2019-05-02 21:15:47 +02:00
|
|
|
+ # citation_notice();
|
|
|
|
|
2017-07-07 17:57:31 +02:00
|
|
|
parse_halt();
|
2018-08-08 18:47:41 +02:00
|
|
|
|