diff options
Diffstat (limited to 'admin/check-doc-strings')
| -rwxr-xr-x | admin/check-doc-strings | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/admin/check-doc-strings b/admin/check-doc-strings index daed2926b20..ef4b203cd79 100755 --- a/admin/check-doc-strings +++ b/admin/check-doc-strings | |||
| @@ -301,4 +301,3 @@ foreach my $fun (sort keys %texi_funtype) { | |||
| 301 | } | 301 | } |
| 302 | } | 302 | } |
| 303 | 303 | ||
| 304 | # arch-tag: e75331f5-5d1b-4393-ad5b-b0f87b5d47b0 | ||