diff options
Diffstat (limited to 'gnu/pr/version.h')
| -rw-r--r-- | gnu/pr/version.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gnu/pr/version.h b/gnu/pr/version.h deleted file mode 100644 index 63de4fd14719..000000000000 --- a/gnu/pr/version.h +++ /dev/null @@ -1 +0,0 @@ -extern const char *version_string; |