]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0dec3cb) | patch
forces bash as Makefile SHELL
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 29 May 2006 20:27:57 +0000 (20:27 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 29 May 2006 20:27:57 +0000 (20:27 +0000)
commitf340ae8d0be1c480c6a496a11157a6ccfb367c13
treecf411fdd7139762fc00a6393e49dc962252f28cftree | snapshot
parent0dec3cb8c59ba272b6b00fdd959ad9357f00b837commit | diff
forces bash as Makefile SHELL
DEVEL/ocaml-http/Makefile diff | blob | history
DEVEL/ocaml-http/debian/changelog diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.