From 12310d19cedd86a32586289894d059564d84768e Mon Sep 17 00:00:00 2001 From: ganyang Date: Wed, 29 Jun 2022 16:33:44 +0800 Subject: [PATCH] fix alter_procedure helper --- doc/src/sgml/ref/{alter_procedure.sgml => alter_procedure.sgmlin} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename doc/src/sgml/ref/{alter_procedure.sgml => alter_procedure.sgmlin} (100%) diff --git a/doc/src/sgml/ref/alter_procedure.sgml b/doc/src/sgml/ref/alter_procedure.sgmlin similarity index 100% rename from doc/src/sgml/ref/alter_procedure.sgml rename to doc/src/sgml/ref/alter_procedure.sgmlin