Matthew Flatt c0915b02b0 pathlist-closure, tar, and tar-gzip: add #:path-filter ... Also, add `#:skip-filtered-directory?` to `find-files`. Less significantly, adjust `pathlist-closure` to be consistent in the way that it includes a separator at the end of a directory path.		2016-01-01 13:52:37 -07:00
..
scribblings	pathlist-closure, tar, and tar-gzip: add #:path-filter	2016-01-01 13:52:37 -07:00
info.rkt	remove the "racket-pkgs" directory layer	2014-12-08 05:22:59 -07:00