diff options
author | Yorhel <git@yorhel.nl> | 2011-01-09 10:42:52 +0100 |
---|---|---|
committer | Yorhel <git@yorhel.nl> | 2011-01-09 10:42:52 +0100 |
commit | 5a683d3499260cd772e8115d10ad7424685044ee (patch) | |
tree | 04e2d8be4354110ba3ca0c7076400ed7745c5556 /main.ml | |
parent | ab6e3ead83707a7029f9bccc276d31d6f423a8e2 (diff) |
Diffstat (limited to 'main.ml')
-rw-r--r-- | main.ml | 21 |
1 files changed, 21 insertions, 0 deletions
@@ -1,3 +1,24 @@ +(* Copyright (c) 2010-2011 Yoran Heling + * + * Permission is hereby granted, free of charge, to any person obtaining + * a copy of this software and associated documentation files (the + * "Software"), to deal in the Software without restriction, including + * without limitation the rights to use, copy, modify, merge, publish, + * distribute, sublicense, and/or sell copies of the Software, and to + * permit persons to whom the Software is furnished to do so, subject to + * the following conditions: + * + * The above copyright notice and this permission notice shall be included + * in all copies or substantial portions of the Software. + * + * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, + * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF + * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. + * IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY + * CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, + * TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE + * SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. + *) (* global useful functions *) let config_dir create = |