Post permalink

• CKurt while( ( !​succeed=try​() ) ) { }
  Dec 02, 2011 at 9:32 AM

  @BorekB: AFAIK, DevDiv is part of the 'Tools' part of 'Server and Tools'

See more posts in thread…