diff options
Diffstat (limited to 'mixgtk/gmixvm.c')
| -rw-r--r-- | mixgtk/gmixvm.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mixgtk/gmixvm.c b/mixgtk/gmixvm.c index 75b2f88..382601b 100644 --- a/mixgtk/gmixvm.c +++ b/mixgtk/gmixvm.c @@ -1,7 +1,7 @@ /* -*-c-*- -------------- gmixvm.c : * Main function of the mix gtk front-end * ------------------------------------------------------------------ - * $Id: gmixvm.c,v 1.4 2002/03/29 16:30:49 jao Exp $ + * $Id: gmixvm.c,v 1.5 2002/04/10 23:39:40 jao Exp $ * ------------------------------------------------------------------ * Copyright (C) 2001, 2002 Free Software Foundation, Inc. * @@ -94,7 +94,7 @@ main(int argc, char *argv[]) switch (c) { case VER_OPT: - mix_print_license ("gmixvm, GTK MIX virtual machine"); + mix_print_license (_("gmixvm, GTK MIX virtual machine")); return EXIT_SUCCESS; case NOINIT_OPT: initfile_ = FALSE; |