diff .gutctags @ 515:6d5e2a583502 default tip

Remove onsub extension
author Ludovic Chabant <ludovic@chabant.com>
date Tue, 10 May 2022 09:54:59 -0700
parents 877d56c80dd5
children
line wrap: on
line diff