Certificates

Author	grave@ipno.in2p3.fr
Branch	org.os-lovelace
Changelog	* makefile cleaning to prepare 32/64 bits separation
Date	2010-06-05T13:57:16

Revision Details

Oldrevision	Old revision is: [50829f45..] (diff)
Delete	Delete: config/boards/qemu_x86.mk Delete: debian Delete: runtime_user Delete: runtime_user/GNUmakefile
Rename	Rename debian/patches to patches
Patch	Patch file GNUmakefile (diff) Patch file lovelace.gpr (diff)