diff options
| author | Glenn Morris <rgm@gnu.org> | 2011-01-15 15:16:57 -0800 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2011-01-15 15:16:57 -0800 |
| commit | 0d9f702fd085bc8ad560a3e1f08d5e93054a5d33 (patch) | |
| tree | 8f7f07c160e5878c775fc6c2bb5ec912a164448e /admin/check-doc-strings | |
| parent | 2153c86209ef95a34f3a80f7a1f72d5fade18c21 (diff) | |
Nuke arch-tags.
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 daed2926b2..ef4b203cd7 100755 --- a/admin/check-doc-strings +++ b/admin/check-doc-strings @@ -301,4 +301,3 @@ foreach my $fun (sort keys %texi_funtype) { } } -# arch-tag: e75331f5-5d1b-4393-ad5b-b0f87b5d47b0 |