Drop the PS3 port.

The target demographic for a PS3 port rounds to zero, and we have no way of maintaining it. Anyone interested in this is better off maintaining their own fork.
dag-erling · Sep 11, 2024 · 4790988 · 4790988
1 parent b6e4a78
commit 4790988
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 172 deletions.
diff --git a/contrib/README.txt b/contrib/README.txt
diff --git a/contrib/ps3/Makefile b/contrib/ps3/Makefile
diff --git a/contrib/ps3/config.h b/contrib/ps3/config.h
diff --git a/contrib/ps3/tre-config.h b/contrib/ps3/tre-config.h