From 01c211339c60f4be5fd610064d78e440f104fa71 Mon Sep 17 00:00:00 2001 From: Holger Vogt Date: Mon, 9 Jan 2023 16:14:25 +0100 Subject: [PATCH] Rename example file --- examples/numparam/{example.cir => param-example.cir} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename examples/numparam/{example.cir => param-example.cir} (100%) diff --git a/examples/numparam/example.cir b/examples/numparam/param-example.cir similarity index 100% rename from examples/numparam/example.cir rename to examples/numparam/param-example.cir