From 5c1ea1aa8236241a1cbab9117a82d8c972257bf0 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Wed, 20 Mar 2019 23:48:22 +0000 Subject: [PATCH] generate-plag: add an autogeneration comment --- generate-plag | 1 + 1 file changed, 1 insertion(+) diff --git a/generate-plag b/generate-plag index 28b4437..7e95c82 100755 --- a/generate-plag +++ b/generate-plag @@ -45,6 +45,7 @@ BEGIN { unshift @INC, qw(.); } use Parse; sub output_planar_graph () { + o("# autogenerated by generate-plag. do not edit\n"); foreach my $ra (sort keys %region) { o(plag_prs($ra), "\n"); if ($ra eq $c{Sea} || $ra =~ m/^L2?$/) { o(" :outer\n"); } -- 2.30.2