diff options
Diffstat (limited to 'Mainpage.dox')
| -rw-r--r-- | Mainpage.dox | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/Mainpage.dox b/Mainpage.dox deleted file mode 100644 index b53ea41..0000000 --- a/Mainpage.dox +++ /dev/null @@ -1,5 +0,0 @@ -/** @mainpage Playground -* -* The playground is a place to put new and immature and -* flaky apps, to develop them to maturity. -*/ |