From 05434e3173679f0d2c8ee059dab3ea34953ce834 Mon Sep 17 00:00:00 2001 From: Dominik Moritz Date: Wed, 20 Nov 2024 13:59:42 -0500 Subject: [PATCH] chore: add missing file extension --- examples/specs/{animated_hop.json => animated_hop.vl.json} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename examples/specs/{animated_hop.json => animated_hop.vl.json} (100%) diff --git a/examples/specs/animated_hop.json b/examples/specs/animated_hop.vl.json similarity index 100% rename from examples/specs/animated_hop.json rename to examples/specs/animated_hop.vl.json