diff options
Diffstat (limited to 'src/include/port/dgux.h')
| -rw-r--r-- | src/include/port/dgux.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/include/port/dgux.h b/src/include/port/dgux.h deleted file mode 100644 index 582be12612b..00000000000 --- a/src/include/port/dgux.h +++ /dev/null @@ -1,3 +0,0 @@ -/* src/include/port/dgux.h */ - -/* nothing needed */ |