Rename source files in an ot_ fashion

1 files changed, 0 insertions, 13 deletions

diff --git a/mutex.h b/mutex.h
deleted file mode 100644
index 8d91ab3..0000000
--- a/mutex.h
+++ /dev/null
@@ -1,13 +0,0 @@
-/* This software was written by Dirk Engling <erdgeist@erdgeist.org>
-   It is considered beerware. Prost. Skol. Cheers or whatever. */
-
-#ifndef __MUTEX_H__
-#define __MUTEX_H__
-
-void mutex_init( );
-void mutex_deinit( );
-
-void mutex_bucket_lock( int bucket );
-void mutex_bucket_unlock( int bucket );
-
-#endif