diff windows-dev/pc03/cross.sh @ 704:457ef358c1a0

filter-only expansions also implemented in the C extension. BUGS: No caching yet (pure Python and C extension).
author Franz Glasner <f.glasner@feldmann-mg.com>
date Mon, 14 Aug 2023 13:00:19 +0200
parents 9ba0217a5e67
children
line wrap: on
line diff