1c95889eea5dd7d57bf916df212f59a8ae0214f2
[goaljobs.git] / .depend
1 goaljobs.cmi :
2 goaljobs.cmo : goaljobs.cmi
3 goaljobs.cmx : goaljobs.cmi