diff edit_xv6arm7 @ 85:d33e6b5adb57

tweak include_directories
author anatofuz
date Tue, 15 Oct 2019 16:14:18 +0900
parents 2617849843ec
children
line wrap: on
line diff