diff options
Diffstat (limited to 'CIAO/examples/Philosophers/README')
| -rw-r--r-- | CIAO/examples/Philosophers/README | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/CIAO/examples/Philosophers/README b/CIAO/examples/Philosophers/README deleted file mode 100644 index 96a56e61b73..00000000000 --- a/CIAO/examples/Philosophers/README +++ /dev/null @@ -1 +0,0 @@ -This example is unfinished.
\ No newline at end of file |