source: icGREP/icgrep-devel/cudd-2.5.1/shutdown.sh @ 5896

Last change on this file since 5896 was 4597, checked in by nmedfort, 4 years ago

Upload of the CUDD library.

  • Property svn:executable set to *
File size: 35 bytes
Line 
1#! /bin/sh
2rm -rf include *.bak *~
Note: See TracBrowser for help on using the repository browser.