diff yatex.new @ 611:e87c3271b8fd draft dev tip

Add "meter" and "progress" completions
author HIROSE Yuuji <yuuji@gentei.org>
date Mon, 17 Jul 2023 17:05:45 +0900
parents 157aa7974191
children
line wrap: on
line diff

yatex.org