StefanandClaude Sonnet 5 311134727c Refresh glyphicons webfont assets (gulp copy) ...

Picks up the currently installed glyphicons font from node_modules,
which now includes the arrow-up/arrow-down/triangle-right/
triangle-bottom glyphs used by the set-structure dialog's reorder and
fold controls (ADR 0016) — the previously copied font predates those
icons. Also adds an empty scratch file the user had open in
Fuchs/tmp/.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

2026-09-10 09:09:54 +02:00

42 KiB

Raw History

View Raw