diff options
Diffstat (limited to 'debian/patches/no-missing-messages.patch')
-rw-r--r-- | debian/patches/no-missing-messages.patch | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/debian/patches/no-missing-messages.patch b/debian/patches/no-missing-messages.patch index a888d33..eee4b68 100644 --- a/debian/patches/no-missing-messages.patch +++ b/debian/patches/no-missing-messages.patch @@ -1,7 +1,7 @@ -Index: open-axiom-debian/src/sman/sman.c +Index: b/src/sman/sman.c =================================================================== ---- open-axiom-debian.orig/src/sman/sman.c 2011-08-29 04:10:30.000000000 +0400 -+++ open-axiom-debian/src/sman/sman.c 2011-08-29 04:11:32.000000000 +0400 +--- a/src/sman/sman.c 2011-08-29 14:20:51.000000000 +0400 ++++ b/src/sman/sman.c 2011-08-29 14:21:04.000000000 +0400 @@ -450,7 +450,6 @@ const char* command = oa_concatenate_string(root_dir,HypertexProgram); |