Ethan Atkins f7f6c3edfe Use '_' instead of '$' in path names ... The use of '$' in the path names for streams is a pain because, since '$' is a special character in the shell, it makes it impossible to directly copy and paste the paths. If we make this change, some builds will be left with vestigial directories with $global and $build in them until they run clean. It also would break any scripts that manually delete these paths. That doesn't seem like a common use case, but it's worth mentioning.		2019-07-25 14:07:44 -07:00
..
src	Use '_' instead of '$' in path names	2019-07-25 14:07:44 -07:00
NOTICE	Add, configure & enforce file headers	2017-10-05 09:03:40 +01:00