Repository navigation

Add remove_tags argument to step_pos_filter() - #356

Merged

EmilHvitfeldt merged 4 commits into

mainfrom

add-remove-tags-to-step-pos-filter

Oct 13, 2026

Merged

Add remove_tags argument to step_pos_filter()#356
EmilHvitfeldt merged 4 commits into
mainfrom
add-remove-tags-to-step-pos-filter

Commits on Oct 13, 2026
- Let tokenlist_pos_filter() remove tags instead of keeping them
  EmilHvitfeldt
  committed
  76cf7fd
- Add remove_tags argument to step_pos_filter()
  EmilHvitfeldt
  committed
  b59f5bf
- Test remove_tags in step_pos_filter()
  EmilHvitfeldt
  committed
  672749c
- Document remove_tags and add NEWS entry
  EmilHvitfeldt
  committed
  ad34360