projects / git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 21b7176) | patch
Meta/Dothem: detect unknown options
authorJunio C Hamano <gitster@pobox.com>
Sun, 19 Apr 2009 23:08:03 +0000 (16:08 -0700)
committerJunio C Hamano <gitster@pobox.com>
Sun, 19 Apr 2009 23:08:03 +0000 (16:08 -0700)
commit10ce901d42a1f1306bd363dc1ff4e9ffb33b323b
tree7576ba3cd9f73513cc4ff546f054233a13169d02tree | snapshot
parent21b717659eb4060ee87aee003b893ee2ba0bd5cfcommit | diff
Meta/Dothem: detect unknown options
Dothem diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.