Skip to content

der: remove obsolete lint configs#2235

Merged
tarcieri merged 1 commit into
masterfrom
der/remove-obsolete-lint-config
Feb 13, 2026
Merged

der: remove obsolete lint configs#2235
tarcieri merged 1 commit into
masterfrom
der/remove-obsolete-lint-config

der: remove obsolete lint configs

f17985a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.