]> granicus.if.org Git - ejabberd/commit
Merge pull request #261 from weiss/no-bash
authorEvgeny Khramtsov <xramtsov@gmail.com>
Thu, 24 Jul 2014 13:44:06 +0000 (17:44 +0400)
committerEvgeny Khramtsov <xramtsov@gmail.com>
Thu, 24 Jul 2014 13:44:06 +0000 (17:44 +0400)
commit9db39a5e4c32014bf0581085a3faf6663c271d32
treecaa69e2f349f30533f2d613ab2f72f2b9b839326
parenta087af706013c27fe876fe1a99c20d836e10b5f5
parent33368b7e5cca1600e908e1f780595abea840ca7d
Merge pull request #261 from weiss/no-bash

doc/Makefile: Don't insist on using /bin/bash