diff options
Diffstat (limited to 'g10/misc.c')
-rw-r--r-- | g10/misc.c | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/g10/misc.c b/g10/misc.c index 654908d37..9134b2823 100644 --- a/g10/misc.c +++ b/g10/misc.c @@ -1013,19 +1013,6 @@ deprecated_command (const char *name) void -obsolete_option (const char *configname, unsigned int configlineno, - const char *name) -{ - if(configname) - log_info (_("%s:%u: obsolete option \"%s\" - it has no effect\n"), - configname, configlineno, name); - else - log_info (_("WARNING: \"%s%s\" is an obsolete option - it has no effect\n"), - "--", name); -} - - -void obsolete_scdaemon_option (const char *configname, unsigned int configlineno, const char *name) { |