DEVELOPERS: add David Lechner
tree1807bdef159bbdf707bbf3b9e6a4ae11b84fb8fb
-rw-r--r-- 1198 .defconfig
-rw-r--r-- 125 .gitignore
-rw-r--r-- 206794 CHANGES
-rw-r--r-- 18767 COPYING
-rw-r--r-- 22577 Config.in
-rw-r--r-- 81519 Config.in.legacy
-rw-r--r-- 37899 DEVELOPERS
-rw-r--r-- 39679 Makefile
-rw-r--r-- 2292 Makefile.legacy
-rw-r--r-- 1079 README
drwxr-xr-x - arch
drwxr-xr-x - board
drwxr-xr-x - boot
drwxr-xr-x - configs
drwxr-xr-x - docs
drwxr-xr-x - fs
drwxr-xr-x - linux
drwxr-xr-x - package
drwxr-xr-x - support
drwxr-xr-x - system
drwxr-xr-x - toolchain