/templates4/
drwxr-xr-x [up]
-rw-r--r-- 2018-12-06 13:15 +0000 2661 postfix.scala
-rw-r--r-- 2018-12-06 13:15 +0000 1930 postfix2.scala
-rw-r--r-- 2018-12-06 13:15 +0000 3794 re.scala