# Last edited on 2019-04-09 18:26:59 by jstolfi

IGNOREDIRS := 
  
include GENERIC-ROOT-DIR.make