| Name | Owner | Permissions |
|---|---|---|
| . | switchle | drwxr-xr-x |
| .. | switchle | drwxr-xr-x |
| CodecInterface.php | switchle | drwxr-xr-x |
| GuidStringCodec.php | switchle | drwxr-xr-x |
| OrderedTimeCodec.php | switchle | drwxr-xr-x |
| StringCodec.php | switchle | drwxr-xr-x |
| TimestampFirstCombCodec.php | switchle | drwxr-xr-x |
| TimestampLastCombCodec.php | switchle | drwxr-xr-x |