Skip to content

Removed pixi generated files and (probably) erroneous additions to .gitignore#3877

Merged
georgweiss merged 1 commit into
masterfrom
remove_pixi_stuff
Jul 15, 2026
Merged

Removed pixi generated files and (probably) erroneous additions to .gitignore#3877
georgweiss merged 1 commit into
masterfrom
remove_pixi_stuff

Commits