diff --git a/.catkin_tools/README b/.catkin_tools/README deleted file mode 100644 index 79b274b..0000000 --- a/.catkin_tools/README +++ /dev/null @@ -1,13 +0,0 @@ -# Catkin Tools Metadata - -This directory was generated by catkin_tools and it contains persistent -configuration information used by the `catkin` command and its sub-commands. - -Each subdirectory contains a set of persistent configuration options for -separate "profiles." The default profile is called `default`. If another -profile is desired, it can be described in the `profiles.yaml` file in this -directory. - -Please see the catkin_tools documentation before editing any files in this -directory. Most actions can be performed with the `catkin` command-line -program. diff --git a/.catkin_tools/default/build.yaml b/.catkin_tools/default/build.yaml deleted file mode 100644 index 32b5ded..0000000 --- a/.catkin_tools/default/build.yaml +++ /dev/null @@ -1,14 +0,0 @@ -blacklist: [] -build_space: build -catkin_make_args: [] -cmake_args: [] -devel_space: devel -extend_path: null -install: false -install_space: install -isolate_devel: false -isolate_install: false -make_args: [] -source_space: src -use_internal_make_jobserver: true -whitelist: []