Skip to content
This repository was archived by the owner on Nov 6, 2023. It is now read-only.

Spring cleaning 2016 - #4311

Closed
RReverser wants to merge 1 commit into
EFForg:masterfrom
RReverser:spring-cleaning-2016
Closed

Spring cleaning 2016#4311
RReverser wants to merge 1 commit into
EFForg:masterfrom
RReverser:spring-cleaning-2016

[Spring cleaning] Trivialize rules where possible.

8e0e1a9
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs