diff options
| author | Jakob Unterwurzacher | 2024-12-05 21:16:33 +0100 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2024-12-05 21:16:33 +0100 |
| commit | fda035ba73b9b80979a069385e88c7b0bc8268db (patch) | |
| tree | 99d102721d127b34d447faf93d1c4329430830be /contrib/getdents-debug/getdents_c/.gitignore | |
| parent | 15d34762ab9f375b9aa738119aa7e2dd1497102e (diff) | |
ci: allow manual executionLockSharedStorage
https://docs.github.com/en/actions/writing-workflows/choosing-when-your-workflow-runs/events-that-trigger-workflows#workflow_dispatch
Diffstat (limited to 'contrib/getdents-debug/getdents_c/.gitignore')
0 files changed, 0 insertions, 0 deletions