From a321394147dd258470f707c2080af3b7fc4d7a89 Mon Sep 17 00:00:00 2001
From: Egor Tensin <Egor.Tensin@gmail.com>
Date: Fri, 30 Jun 2023 10:05:16 +0200
Subject: Makefile: move the prelude to prelude.mk

---
 .dockerignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.dockerignore')

diff --git a/.dockerignore b/.dockerignore
index 3c0c9fc..67cae72 100644
--- a/.dockerignore
+++ b/.dockerignore
@@ -4,5 +4,6 @@
 !/CMakeLists.txt
 !/LICENSE.txt
 !/Makefile
+!/prelude.mk
 !/src/**
 !/test/**
-- 
cgit v1.2.3