1
0
mirror of https://github.com/git/git.git synced 2025-03-30 17:30:31 +00:00
Junio C Hamano 968182a49d Merge branch 'jn/mediawiki-makefile-updates'
Build and installation procedure clean-up.

* jn/mediawiki-makefile-updates:
  git-remote-mediawiki build: handle DESTDIR/INSTLIBDIR with whitespace
  git-remote-mediawiki build: make 'install' command configurable
  git-remote-mediawiki: honor DESTDIR in "make install"
  git-remote-mediawiki: do not remove installed files in "clean" target
2013-12-05 13:00:23 -08:00
..
2013-11-12 09:42:21 -08:00
2013-11-12 09:42:21 -08:00