Regenerate dist/index.js after merge

Signed-off-by: Addisu Z. Taddese <addisu@openrobotics.org>
gazebo-tooling · Dec 5, 2024 · 3554777 · 3554777
1 parent 19c416d
commit 3554777
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/dist/index.js b/dist/index.js
@@ -34609,7 +34609,6 @@ async function run(_local, _lib, _branch) {
     const collections = [
       {name: 'citadel', label: '🏰 citadel'},
       {name: 'fortress', label: '🏯 fortress'},
-      {name: 'garden', label: '🌱 garden'},
       {name: 'harmonic', label: '🎵 harmonic'},
       {name: 'ionic', label: '🏛️ ionic'},
       {name: 'jetty', label: '🪵 jetty'}
@@ -34642,7 +34641,6 @@ async function run(_local, _lib, _branch) {
     }
 
     const classicVersions = [
-      {name: 'gazebo9', label: 'Gazebo 9️'},
       {name: 'gazebo11', label: 'Gazebo 1️1️'},
     ];