# These directories' content are generated by build-gcc.sh
# with the --copy-libstdcxx option, so never include them
# in our git repository.
libs/
include/