projects / git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 958ae8f) | patch
Dothem: no point not installing doc if we build it
authorJunio C Hamano <gitster@pobox.com>
Thu, 2 Apr 2009 20:01:23 +0000 (13:01 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 2 Apr 2009 20:01:23 +0000 (13:01 -0700)
commitee7126b8f173d028aefc454137de57088e6b53c3
treed2f98f3ea3fedbec63df435d6b371f27ce382fb9tree | snapshot
parent958ae8fca9fd993c7b7a0e6d5083bc54a987d2cecommit | diff
Dothem: no point not installing doc if we build it

It is the building part that is expensive.
Dothem diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.