From fe260731f761a4c9e1046eb3b2b397cc7eb9117c Mon Sep 17 00:00:00 2001
From: Emmanuel Agullo <emmanuel.agullo@inria.fr>
Date: Fri, 20 Oct 2023 11:41:59 +0200
Subject: [PATCH] Rename file name according to package name

---
 bedrock-full.el => bedrock-dev.el | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename bedrock-full.el => bedrock-dev.el (100%)

diff --git a/bedrock-full.el b/bedrock-dev.el
similarity index 100%
rename from bedrock-full.el
rename to bedrock-dev.el
-- 
GitLab