/testdir

• .options
• Foo2.html
• bar
• ecoop18-paper22.pdf
• ecoop18-paper27_REVIEW_Jens.pdf
• foo.md
• foo.zip
• foo1