kern/env.c indented.
tree56dac4f9b47cd11b30b78da4736553664dfaa0e4
-rw-r--r-- 33349 .bochsrc
-rw-r--r-- 1115 CODING
-rw-r--r-- 4637 GNUmakefile
drwxr-xr-x - boot
drwxr-xr-x - conf
drwxr-xr-x - fs
-rw-r--r-- 4446 grade.sh
drwxr-xr-x - inc
drwxr-xr-x - kern
drwxr-xr-x - lib
-rw-r--r-- 2331 mergedep.pl
drwxr-xr-x - user