From: Adam Chlipala Date: Sat, 15 Dec 2007 16:54:21 +0000 (+0000) Subject: Add install_sos make target for .el building X-Git-Tag: release_2010-11-19~89 X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/690a19c371be6f841138d907662e8fc1ebc958c7?hp=690a19c371be6f841138d907662e8fc1ebc958c7 Add install_sos make target for .el building ---