8000 Rename logfile extension by dkbennett · Pull Request #360 · microsoft/devhomegithubextension · GitHub
[go: up one dir, main page]
Skip to content
This repository was archived by the owner on Jun 5, 2025. It is now read-only.

Rename logfile extension#360

Merged
dkbennett merged 1 commit intomainfrom
user/dkbennett/logfilerename
Mar 1, 2024
Merged

Rename logfile extension#360
dkbennett merged 1 commit intomainfrom
user/dkbennett/logfilerename

Commits

Commits on Mar 1, 2024
0