From 2ced1c6ef34acd6bc2f3030ab96ebe361cde91ba Mon Sep 17 00:00:00 2001 From: Ilja van Sprundel Date: Mon, 7 Oct 2019 14:47:11 +0200 Subject: [PATCH] ... yea, that happened .., --- minix/servers/devman/{device.h => device.c} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename minix/servers/devman/{device.h => device.c} (100%) diff --git a/minix/servers/devman/device.h b/minix/servers/devman/device.c similarity index 100% rename from minix/servers/devman/device.h rename to minix/servers/devman/device.c