- From: Norm Tovey-Walsh <norm@saxonica.com>
- Date: Tue, 01 Feb 2022 14:39:54 +0000
- To: Steven Pemberton <steven.pemberton@cwi.nl>
- Cc: public-ixml@w3.org
Received on Tuesday, 1 February 2022 14:40:34 UTC
Steven Pemberton <steven.pemberton@cwi.nl> writes: > If you know a way of uploading empty files to github, I'd gladly hear > it. The reason they are in zip files is because github refused to > upload a directory that contained empty files. > But I agree, unzipped would be better. That seems really weird. Uploading with some GUI tool, or just ‘git’ on the command line? Be seeing you, norm -- Norm Tovey-Walsh Saxonica
Received on Tuesday, 1 February 2022 14:40:34 UTC