1 files changed, 0 insertions, 46 deletions
diff --git a/loader/options.cli b/loader/options.cli
deleted file mode 100644
index 0899156..0000000
--- a/loader/options.cli
+++ /dev/null
@@ -1,46 +0,0 @@
-// file      : loader/options.cli
-// copyright : Copyright (c) 2014-2016 Code Synthesis Ltd
-// license   : MIT; see accompanying LICENSE file
-
-include <string>;
-include <cstdint>; // uint16_t
-
-class options
-{
-  bool --help {"Print usage information and exit."}
-  bool --version {"Print version and exit."}
-
-  std::string --db-user|-u
-  {
-    "<user>",
-    "Database user name. If not specified, then operating system (login)
-     name is used."
-  }
-
-  std::string --db-password
-  {
-    "<pass>",
-    "Database password. If not specified, then login without password is
-     expected to work."
-  }
-
-  std::string --db-name|-n = "brep"
-  {
-    "<name>",
-    "Database name. If not specified, then '\cb{brep}' is used by default."
-  }
-
-  std::string --db-host|-h
-  {
-    "<host>",
-    "Database host name, address, or socket. If not specified, then connect
-     to \cb{localhost} using the operating system-default mechanism
-     (Unix-domain socket, etc)."
-  }
-
-  std::uint16_t --db-port|-p = 0
-  {
-    "<port>",
-    "Database port number. If not specified, the default port is used."
-  }
-};