Changeset 4b833f in git
- Timestamp:
- Nov 23, 2020, 7:01:04 PM (3 years ago)
- Branches:
- (u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')
- Children:
- bf5b1ec087536dabb9c787249254be6b319b9395
- Parents:
- 83b61dab63ac2e1b7ae8b70d52db7a3a950835f3
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/extra.cc
r83b61d r4b833f 3871 3871 else 3872 3872 /* ====== verify ============================*/ 3873 if(strcmp(sys_cmd,"verify ")==0)3873 if(strcmp(sys_cmd,"verifyGB")==0) 3874 3874 { 3875 3875 if (h->Typ()!=IDEAL_CMD)
Note: See TracChangeset
for help on using the changeset viewer.