From bfd31f9fe30210acb337682a50fe4d18860caee0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rados=C5=82aw=20Wa=C5=9Bko?= Date: Wed, 8 Jan 2025 23:15:57 +0100 Subject: [PATCH] Fix a bad merge between #11926 and #11399 (#12022) --- .../lib/Standard/Base/0.0.0-dev/src/System/File.enso | 5 ----- 1 file changed, 5 deletions(-) diff --git a/distribution/lib/Standard/Base/0.0.0-dev/src/System/File.enso b/distribution/lib/Standard/Base/0.0.0-dev/src/System/File.enso index 2f998c8bfdd2..0c4b680092eb 100644 --- a/distribution/lib/Standard/Base/0.0.0-dev/src/System/File.enso +++ b/distribution/lib/Standard/Base/0.0.0-dev/src/System/File.enso @@ -864,11 +864,6 @@ type File to_display_text : Text to_display_text self = self.to_text - ## PRIVATE - copy_builtin self target options = @Builtin_Method "File.copy_builtin" - - ## PRIVATE - move_builtin self target options = @Builtin_Method "File.move_builtin" ## PRIVATE