summaryrefslogtreecommitdiff
path: root/doc/tutorial/Food2Eng.gf
diff options
context:
space:
mode:
authorbringert <bringert@cs.chalmers.se>2007-07-08 18:32:45 +0000
committerbringert <bringert@cs.chalmers.se>2007-07-08 18:32:45 +0000
commit0c05a33d82346560b375d2473588c8a16a014d62 (patch)
treea7b36db9fe73c9b218281d15330d958a0a2d5614 /doc/tutorial/Food2Eng.gf
parent26fba297463fea26946da894004ad7dce0e8a9dc (diff)
Use darcs dist instead of darcs get in make dist. This should get around the problem with partial repositories.
Diffstat (limited to 'doc/tutorial/Food2Eng.gf')
0 files changed, 0 insertions, 0 deletions