- 257066F00B2AF8569E4B24CDF06FA376A6312D8F0568EECC83E6F4624D7C5109A51906FD5B2BC4F55840577939D86AA4173C0DD70160916998D528CFF0F6A67B
+ 85500ED7A489BCD8D604FD29696A630D9B43A7422BB23F393C77C5029F34A729316A0A19E5BD4EC591E06F4B9FB170E119739E3D6AC8F20BF11C613C5C7C116B
vtools/Makefile
(2 . 6)(2 . 9)
  5 vdiff:
  6 	gprbuild -Pvdiff.gpr
  7 
  8 vpatch:
  9 	gprbuild -Pvpatch.gpr
 10 
 11 clean:
 12 	gprclean -Pvdiff.gpr
 13 
 14 	gprclean -Pvpatch.gpr