diff options
| -rw-r--r-- | archplats/dev/trunk/arch (renamed from dev/trunk/arch) | 0 | ||||
| -rw-r--r-- | archplats/dev/trunk/plat (renamed from dev/trunk/plat) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/dev/trunk/arch b/archplats/dev/trunk/arch index fecd1c8..fecd1c8 100644 --- a/dev/trunk/arch +++ b/archplats/dev/trunk/arch diff --git a/dev/trunk/plat b/archplats/dev/trunk/plat index fbb1007..fbb1007 100644 --- a/dev/trunk/plat +++ b/archplats/dev/trunk/plat |