From 3b84a0abdb496bcba36f6b4d1776c8b4d933fcd6 Mon Sep 17 00:00:00 2001 From: Guillermo Rodriguez Date: Wed, 17 Jan 2024 22:03:08 -0300 Subject: [PATCH] Rename develop.nix to default.nix to only have to invoke nix-shell with no params to enable it --- develop.nix => default.nix | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename develop.nix => default.nix (100%) diff --git a/develop.nix b/default.nix similarity index 100% rename from develop.nix rename to default.nix