From 83be45b4387e2b377251630951900a4673b48930 Mon Sep 17 00:00:00 2001 From: nickarafyllis <40248574+nickarafyllis@users.noreply.github.com> Date: Wed, 15 Jul 2020 01:39:49 +0300 Subject: [PATCH] Rename specker1.txt to specker1.cpp --- specker1.txt => specker1.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) rename specker1.txt => specker1.cpp (95%) diff --git a/specker1.txt b/specker1.cpp similarity index 95% rename from specker1.txt rename to specker1.cpp index 453d8fe..3fe843e 100644 --- a/specker1.txt +++ b/specker1.cpp @@ -104,4 +104,4 @@ ostream & operator << (ostream &out, const State &state) { return out; } - \ No newline at end of file +