From 6bcbbed0e48a5f0160b4eda807f251a1f13f2006 Mon Sep 17 00:00:00 2001 From: Carl Hetherington Date: Tue, 15 Oct 2019 01:01:44 +0200 Subject: [PATCH] Missed indent. --- wscript | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/wscript b/wscript index 8c3b4548a..9a924a5e7 100644 --- a/wscript +++ b/wscript @@ -605,7 +605,7 @@ def dist(ctx): if r is not None: f = open('.git_revision', 'w') print(r, file=f) - f.close() + f.close() ctx.excl = """ TODO core *~ src/wx/*~ src/lib/*~ builds/*~ doc/manual/*~ src/tools/*~ *.pyc .waf* build .git -- 2.30.2