tools/config/cleanup.R

# Clean up files generated during configuration here.
# Use 'remove_file()' to remove files generated during configuration.

unlink("src/GraphColoring", recursive = TRUE, force = TRUE)
saurfang/graphcoloring documentation built on Jan. 19, 2020, 5:01 a.m.