Project

General

Profile

« Previous | Next » 

Revision 8244

inputs/input.Makefile: %/map.csv: make $*/header.csv first in case it doesn't exist (e.g. if it has been deleted so that it will be remade)

  • added
  • modified
  • copied
  • renamed
  • deleted