2 Commits

Author	SHA1	Message	Date
João Marcos	4566882521	cli: add -. as short option for --hidden ... This is somewhat non-standard, but it seems nice on the surface: short flag names are in short supply, --hidden is probably somewhat common and -. has an obvious connection with how hidden files are named on Unix. Closes #1680	2021-05-31 21:51:18 -04:00
Andrew Gallant	52ec68799c	ci: make script names consistent	2020-03-15 21:06:45 -04:00