Skip to content

Use apt-get dist-clean#1072

Merged
tianon merged 1 commit into
tianon:masterfrom
self-five:dist-clean
Aug 14, 2025
Merged

Use apt-get dist-clean#1072
tianon merged 1 commit into
tianon:masterfrom
self-five:dist-clean

Conversation

@tianon
Copy link
Copy Markdown
Owner

@tianon tianon commented Aug 14, 2025

@tianon
Copy link
Copy Markdown
Owner Author

tianon commented Aug 14, 2025

Lol, I forgot I have some Ubuntu in here. I should probably fix that (by getting rid of Ubuntu).

@tianon
Copy link
Copy Markdown
Owner Author

tianon commented Aug 14, 2025

I should probably fix that (by getting rid of Ubuntu).

(but not today)

@tianon tianon merged commit 3d213a7 into tianon:master Aug 14, 2025
60 checks passed
@tianon tianon deleted the dist-clean branch August 14, 2025 04:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant