comparison makefile @ 15:defa6b56a122

Add FACT Workshop lectures
author Daniele Nicolodi <daniele@grinta.net>
date Mon, 02 Jan 2017 19:26:05 +0100
parents a74b9e0f9064
children efc357cfa277
comparison
equal deleted inserted replaced
14:9a3920fe29ea 15:defa6b56a122