From 7fc795ceea16a513bd700447f8658ea14081a081 Mon Sep 17 00:00:00 2001 From: Hans Dijkema Date: Mon, 11 May 2026 01:30:42 +0200 Subject: [PATCH] Corrected scrbl doc extension --- .../{define-return-contract.rkt => define-return-contract.scrbl} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename scrbl/{define-return-contract.rkt => define-return-contract.scrbl} (100%) diff --git a/scrbl/define-return-contract.rkt b/scrbl/define-return-contract.scrbl similarity index 100% rename from scrbl/define-return-contract.rkt rename to scrbl/define-return-contract.scrbl