Skip to content

refactor: rename MakeConSat -> MakeCon#994

Merged
brprice merged 1 commit into
mainfrom
brprice/rename-makecon
May 16, 2023
Merged

refactor: rename MakeConSat -> MakeCon#994
brprice merged 1 commit into
mainfrom
brprice/rename-makecon

refactor: rename MakeConSat -> MakeCon

d8a8e2a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs