Skip to content

Update modified time when closing written files#86

Open
Old-Ding wants to merge 1 commit into
FreeRTOS:mainfrom
Old-Ding:codex/update-modified-time-on-close
Open

Update modified time when closing written files#86
Old-Ding wants to merge 1 commit into
FreeRTOS:mainfrom
Old-Ding:codex/update-modified-time-on-close

Update modified time when closing written files

3a2287f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 1 warning
formatting
failed Jul 8, 2026 in 13s