rename wd33c93 to wd33c93ctrl (but keep the filenames as is) so we can
authorjasper <jasper@openbsd.org>
Fri, 18 Apr 2014 21:55:23 +0000 (21:55 +0000)
committerjasper <jasper@openbsd.org>
Fri, 18 Apr 2014 21:55:23 +0000 (21:55 +0000)
commit4543abbf85bd56819ffb63e3848c6b1a4ab9f9a6
tree88a3669d7d4ad577649890bca2c34494634ce201
parenta3d69d4af53ec859d1df0a15505cc9d90ae71abb
rename wd33c93 to wd33c93ctrl (but keep the filenames as is) so we can
add attributes to it later; as wd33c93 is not a valid device name.

ok miod@
sys/arch/sgi/hpc/files.hpc
sys/conf/files