dummy:

clean:
	rm -f *~ *.log

