diff options
| author | Christian Breunig <christian@breunig.cc> | 2025-04-20 16:47:38 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-04-20 16:47:38 +0200 |
| commit | 106be9f37dc69ff7f5e036550aff11dd96aa147e (patch) | |
| tree | 8b7dcfba8f5e7d29e1fde94be624130f7a6aa537 /src/util.mli | |
| parent | 52127a780f81342f454b72e8b8a9493afc530d6b (diff) | |
| parent | befd3c6776ca7842162fbd25fb42a2cd3f3d583d (diff) | |
| download | vyos1x-config-current.tar.gz vyos1x-config-current.zip | |
T7334: pr mirror trigger workflow added with label creation permission for default github token
Diffstat (limited to 'src/util.mli')
0 files changed, 0 insertions, 0 deletions