Fabian Homborg 1c1e643218 WIP path: Make extensions start at the "."
This includes the "." in what `path extension` prints.

This allows distinguishing between an empty extension (just `.`) and a
non-existent extension (no `.` at all).
2022-05-29 17:48:11 +02:00
..
2022-05-19 17:38:41 +02:00
2022-02-14 16:18:16 -08:00
2022-04-19 18:52:06 +02:00
2022-05-29 17:48:11 +02:00
2022-01-09 23:47:58 +08:00