Skip to content
Commit 2e282d16 authored by Gary King's avatar Gary King
Browse files

improve `directory-pathname-p`

* After much discussion, here's another attempt
at `directory-pathname-p`.

* make sure we push when we `make archive`
parent 0591d702
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment