Project

General

Profile

Actions
Copy link

Bug #4437

open

Make clean in cvc3

Added by Pavel Andrianov over 11 years ago.

Status:
New
Priority:
Normal
Assignee:
Vadim Mutilin
Category:
BLAST
Start date:
08/08/2013
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

'Make clean' in original folder doesn't clean folder ldv-tools/dscv/rcv/backends/blast/cvc3-dev/

No data to display

Actions
Copy link

Also available in: Atom PDF