てきすとTLからTeFWikiにexportするシェルスクリプトを書いていたら夕方になっていた。まぁこんな日もある。
Wed Oct 15 2025 17:09:48 GMT+0900 (日本標準時)