diff options
Diffstat (limited to 'etc/repository-details.conf')
| -rw-r--r-- | etc/repository-details.conf | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/etc/repository-details.conf b/etc/repository-details.conf deleted file mode 100644 index e173cfb..0000000 --- a/etc/repository-details.conf +++ /dev/null @@ -1,7 +0,0 @@ -# file : etc/repository-details.conf -# copyright : Copyright (c) 2014-2015 Code Synthesis Ltd -# license : MIT; see accompanying LICENSE file -# -# brep::module options -# -verb 1 |