From 45c1812a65045457d068ac8cec15e740e41dde23 Mon Sep 17 00:00:00 2001 From: Ben Sturmfels Date: Sat, 18 Sep 2021 09:56:50 +1000 Subject: [PATCH] Fix bad name of Debian CI build file. --- .builds/{debian-11-sqlite.ypm => debian-11-sqlite.yml} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename .builds/{debian-11-sqlite.ypm => debian-11-sqlite.yml} (100%) diff --git a/.builds/debian-11-sqlite.ypm b/.builds/debian-11-sqlite.yml similarity index 100% rename from .builds/debian-11-sqlite.ypm rename to .builds/debian-11-sqlite.yml