diff mpsplit.pl @ 1028:6e24f1ecf13e draft

Workaround for GNU system
author HIROSE Yuuji <yuuji@gentei.org>
date Fri, 22 Dec 2023 20:01:32 +0900
parents 1ba114ebcf2c
children
line wrap: on
line diff

yatex.org