Skip to content

Modernize ALE settings#169

Merged
offa merged 1 commit into
masterfrom
ale
May 23, 2026
Merged

Modernize ALE settings#169
offa merged 1 commit into
masterfrom
ale

Conversation

@offa

@offa offa commented May 23, 2026

Copy link
Copy Markdown
Owner

No description provided.

@offa offa added this to the v0.4.0 milestone May 23, 2026
@offa offa merged commit 80b2203 into master May 23, 2026
8 checks passed
@offa offa deleted the ale branch May 23, 2026 21:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant