diff options
| author | Grigory Shipunov | 2023-07-26 18:00:41 +0200 |
|---|---|---|
| committer | Grigory Shipunov | 2023-07-26 18:00:41 +0200 |
| commit | 273c9680f7e95a223554366707abd6247d04e513 (patch) | |
| tree | 52a088996bd2f31fdb1bcde326645e37e4ddc897 /.gitignore | |
| parent | 7cc81a8133a2b0067519ac4c7077aa855cf1a6b6 (diff) | |
pin microvms to the version tag
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions