Skip to content

Latest commit

 

History

History

incremental-lingeling

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 
 
 
1) Copy the files into the lingleling source directory (this will overwrite the makefile).
2) make incremental