Revision f2dc9998

View differences:

Makefile
55 55

  
56 56
GRAPES:
57 57
	git clone http://www.disi.unitn.it/~abeni/PublicGits/GRAPES.git
58
	cd GRAPES; git checkout -b fixes origin/fixes
58 59

  
59 60
prepare: GRAPES
60 61
	make -C GRAPES/som

Also available in: Unified diff