diff options
author | P. J. McDermott <pj@pehjota.net> | 2015-05-26 03:02:48 (EDT) |
---|---|---|
committer | P. J. McDermott <pj@pehjota.net> | 2015-05-26 03:02:48 (EDT) |
commit | 4e69fe2c9a25b16324b224d3d9c4dc3282989156 (patch) | |
tree | 8c539866f1839a6224961510186cfcb752fc4022 | |
parent | bc6c27150536ba776fb366bb2b66ef43e7b096a2 (diff) |
Put arch and plat files under archplats/
-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 |