257 |
case gig::split_type_normal: |
case gig::split_type_normal: |
258 |
cout << "NORMAL" << endl; |
cout << "NORMAL" << endl; |
259 |
break; |
break; |
|
case gig::split_type_customvelocity: |
|
|
cout << "CUSTOMVELOCITY" << endl; |
|
|
break; |
|
260 |
case gig::split_type_bit: |
case gig::split_type_bit: |
261 |
cout << "BIT" << endl; |
cout << "BIT" << endl; |
262 |
break; |
break; |
321 |
} |
} |
322 |
|
|
323 |
string Revision() { |
string Revision() { |
324 |
string s = "$Revision: 1.17 $"; |
string s = "$Revision: 1.18 $"; |
325 |
return s.substr(11, s.size() - 13); // cut dollar signs, spaces and CVS macro keyword |
return s.substr(11, s.size() - 13); // cut dollar signs, spaces and CVS macro keyword |
326 |
} |
} |
327 |
|
|