diff options
author | Benjamin Barenblat <bbaren@debian.org> | 2019-02-02 19:29:23 -0500 |
---|---|---|
committer | Benjamin Barenblat <bbaren@debian.org> | 2019-02-02 19:29:23 -0500 |
commit | 9ebf44d84754adc5b64fcf612c6816c02c80462d (patch) | |
tree | bf5e06a28488e0e06a2f2011ff0d110e2e02f8fc /ide/utils/configwin_messages.ml | |
parent | 9043add656177eeac1491a73d2f3ab92bec0013c (diff) |
Imported Upstream version 8.9.0upstream/8.9.0upstream
Diffstat (limited to 'ide/utils/configwin_messages.ml')
-rw-r--r-- | ide/utils/configwin_messages.ml | 50 |
1 files changed, 0 insertions, 50 deletions
diff --git a/ide/utils/configwin_messages.ml b/ide/utils/configwin_messages.ml deleted file mode 100644 index de1b4721..00000000 --- a/ide/utils/configwin_messages.ml +++ /dev/null @@ -1,50 +0,0 @@ -(*********************************************************************************) -(* Cameleon *) -(* *) -(* Copyright (C) 2005 Institut National de Recherche en Informatique et *) -(* en Automatique. All rights reserved. *) -(* *) -(* This program is free software; you can redistribute it and/or modify *) -(* it under the terms of the GNU Library General Public License as *) -(* published by the Free Software Foundation; either version 2 of the *) -(* License, or any later version. *) -(* *) -(* This program is distributed in the hope that it will be useful, *) -(* but WITHOUT ANY WARRANTY; without even the implied warranty of *) -(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *) -(* GNU Library General Public License for more details. *) -(* *) -(* You should have received a copy of the GNU Library General Public *) -(* License along with this program; if not, write to the Free Software *) -(* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA *) -(* 02111-1307 USA *) -(* *) -(* Contact: Maxence.Guesdon@inria.fr *) -(* *) -(*********************************************************************************) - -(** Module containing the messages of Configwin.*) - -let software = "Configwin";; -let version = "1.2";; - -let html_config = "Configwin bindings configurator for html parameters" - -let home = Option.default "" (Glib.get_home_dir ()) - -let mCapture = "Capture";; -let mType_key = "Type key" ;; -let mAdd = "Add";; -let mRemove = "Remove";; -let mUp = "Up";; -let mEdit = "Edit";; -let mOk = "Ok";; -let mCancel = "Cancel";; -let mApply = "Apply";; -let mValue = "Value" -let mKey = "Key" - -let shortcuts = "Shortcuts" -let html_end = "End with" -let html_begin = "Begin with" - |