1. ded07e8 Makefile.proof: Add all source files to the dependencies by Nico Huber · 10 years ago
  2. f86fb18 Makefile: Add a strip_quotes macro by Nico Huber · 10 years ago
  3. 5e9b1b5 Initial upstream commit by Nico Huber · 10 years ago