Project

General

Profile

« Previous | Next » 

Revision 5981

input.Makefile: Verification of import: Fixed bug where needed to make .ref .PRECIOUS instead of verify/.ref

  • added
  • modified
  • copied
  • renamed
  • deleted