Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
clarify CATKIN_IGNORE may be a file, directory, or (dangling) symlink (…
…#256) * Update rep-0128.rst Mention that CATKIN_IGNORE may be any type of file * Update rep-0128.rst change "are ignored" to "don't matter" to avoid implying that that's what "IGNORE" is referring to in "CATKIN_IGNORE" * Specify dangling symlink is okay. Co-authored-by: Dan Rose <rotu@users.noreply.github.com>
- Loading branch information