diff options
| author | Robin Trioux | 2023-06-28 20:25:17 +0200 |
|---|---|---|
| committer | Robin Trioux | 2023-06-28 20:25:17 +0200 |
| commit | ed600772f0982ece06f47ec7daf65e7bbcb8b48c (patch) | |
| tree | 99d5c788fe39e7ce5f1edf594df56a631f055b64 /webots.install | |
| parent | 5ae43ebb18370290f92fa76cffb146ac1fe99153 (diff) | |
| download | aur-webots-bin.tar.gz | |
Update to webot-2023b
Diffstat (limited to 'webots.install')
0 files changed, 0 insertions, 0 deletions