From 14bd2584c5e10d3070984caefc9f85cee72cb0aa Mon Sep 17 00:00:00 2001 From: mzhoot Date: Sun, 7 Jun 2026 15:50:48 +0300 Subject: [PATCH] =?UTF-8?q?=D0=BF=D0=BE=D1=87=D0=B8=D0=BD=D0=B8=D1=82?= =?UTF-8?q?=D1=8C=20=D0=B1=D0=BD=D0=B4=20=D0=B8=20=D1=83=D1=87=D0=B5=D1=81?= =?UTF-8?q?=D1=82=D1=8C=20=D0=B4=D0=BB=D0=B8=D0=BD=D1=83=20=D0=BA=D0=BE?= =?UTF-8?q?=D0=BC=D0=B5=D0=BD=D1=82=D0=B0=D1=80=D0=B8=D1=8F?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- тесты/cleaner.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/тесты/cleaner.py b/тесты/cleaner.py index 105755c..2930aea 100644 --- a/тесты/cleaner.py +++ b/тесты/cleaner.py @@ -1,7 +1,7 @@ #!/usr/bin/env python3 import os -extensions = {'.аст', '.csv', '.токены', '.проход1', '.elf', '.log'} +extensions = {'.аст', '.csv', '.токены', '.проход1', '.elf', '.log', '.txt'} for file in os.listdir('.'): if os.path.isfile(file) and os.path.splitext(file)[1] in extensions: