Git Repositories

Undelete on repository deletion.
authorCyrille Pontvieux <jrd@enialis.net>
Mon, 15 Dec 2014 14:05:07 +0000 (14:05 +0000)
committerCyrille Pontvieux <jrd@enialis.net>
Mon, 15 Dec 2014 14:05:07 +0000 (14:05 +0000)
commitcb61f53bec91fd38b2a020c1917c523f7421d461
tree015a5bb70c14c08fe8deaf297f48db2e595d536b
parentf05c4214faee854d7d1efe677cfef069787b35d4
Undelete on repository deletion.

Some warnings and other small corrections
12 files changed:
Makefile
configure
homegit/gitrepo.sh
src/controller.config.php
src/footer.inc.php
src/include.inc.php
src/nav.inc.php
src/repo-del.php
src/repo-deleted-list.php [new file with mode: 0644]
src/repo-destroy.php [new file with mode: 0644]
src/repo-nav.inc.php
src/repo-undel.php [new file with mode: 0644]