huskee/progtech
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Rename specker1.txt to specker1.cpp

Browse source
This commit is contained in:
nickarafyllis 2020-07-15 01:39:49 +03:00 committed by GitHub
parent 1f6b16832e
commit 83be45b438
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
specker1.txt → specker1.cpp
View file

@ -104,4 +104,4 @@ ostream & operator << (ostream &out, const State &state) {
return out;
}