diff --git a/: b/:
deleted file mode 100644
index bac8ce9cf9..0000000000
--- a/:
+++ /dev/null
@@ -1,30 +0,0 @@
-ARGC: 1
-ARGIND: 0
-ARGV: array, 1 elements
-BINMODE: 0
-CONVFMT: "%.6g"
-ENVIRON: array, 36 elements
-ERRNO: ""
-FIELDWIDTHS: ""
-FILENAME: "-"
-FNR: 245
-FPAT: "[^[:space:]]+"
-FS: " "
-FUNCTAB: array, 41 elements
-IGNORECASE: 0
-LINT: 0
-NF: 10
-NR: 245
-OFMT: "%.6g"
-OFS: " "
-ORS: "\n"
-PREC: 53
-PROCINFO: array, 24 elements
-RLENGTH: 0
-ROUNDMODE: "N"
-RS: "\n"
-RSTART: 0
-RT: "\n"
-SUBSEP: "\034"
-SYMTAB: array, 28 elements
-TEXTDOMAIN: "messages"