diff options
author | Patrick Georgi <patrick@georgi-clan.de> | 2015-02-05 23:36:32 +0100 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2015-02-13 09:33:24 +0100 |
commit | 3c28d014b7b6d49f2daa33d03008a5355f7aa305 (patch) | |
tree | d0847ea5dc268b6ee9d5983c8d82aa7b8982f6f3 /Makefile.inc | |
parent | b32bf54c31aacce1f0824fa3f938f1cc9d8ebf4f (diff) |
documentation: begin documenting our use of git submodules
git submodules have some surprising behaviour, and we make full use
of it. Start building a canonical resource for that so developers
can spend their time on better things than on fighting git.
Change-Id: I5aa721e9b0acb2912a057858fd23a1d59d845ed1
Signed-off-by: Patrick Georgi <patrick@georgi-clan.de>
Reviewed-on: http://review.coreboot.org/8371
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Reviewed-by: Alexandru Gagniuc <mr.nuke.me@gmail.com>
Diffstat (limited to 'Makefile.inc')
0 files changed, 0 insertions, 0 deletions