git.gnu.io has moved to IP address 209.51.188.249 -- please double check where you are logging in.

Commit 99a2b1e3 authored by Bob Mottram's avatar Bob Mottram

Comments

parent c90a22d7
......@@ -62,8 +62,12 @@ sed -i '/<?php/a include_once "markdown.php";' src/lib/util.php
# some things replaced by debian packages
rm -rf src/extlib/php-gettext
# replaced by php-openid
rm -f src/extlib/Auth/OpenID.php
rm -f src/extlib/Auth/Yadis/Yadis.php
# replaced by libjs-jquery
rm -f src/js/extlib/jquery.cookie.js
rm -f src/js/extlib/jquery.form.js
rm -f src/js/extlib/jquery.js
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment