From 0bb52a9cccfce5fded2a49237d2fdc672a204b30 Mon Sep 17 00:00:00 2001 From: Pablo Winant Date: Mon, 11 Nov 2024 11:44:56 +0100 Subject: [PATCH] Created dev folder --- demo.jl => dev/demo.jl | 0 demo2.jl => dev/demo2.jl | 0 misc2.jl => dev/misc2.jl | 0 r.jl => dev/r.jl | 0 4 files changed, 0 insertions(+), 0 deletions(-) rename demo.jl => dev/demo.jl (100%) rename demo2.jl => dev/demo2.jl (100%) rename misc2.jl => dev/misc2.jl (100%) rename r.jl => dev/r.jl (100%) diff --git a/demo.jl b/dev/demo.jl similarity index 100% rename from demo.jl rename to dev/demo.jl diff --git a/demo2.jl b/dev/demo2.jl similarity index 100% rename from demo2.jl rename to dev/demo2.jl diff --git a/misc2.jl b/dev/misc2.jl similarity index 100% rename from misc2.jl rename to dev/misc2.jl diff --git a/r.jl b/dev/r.jl similarity index 100% rename from r.jl rename to dev/r.jl