| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 7 |  .. |
| -rw-r--r-- | 1329 |  basic.cc |
| -rw-r--r-- | 1311 | generation_prohibited.cc |
| -rw-r--r-- | 1310 | propagation_consistent.cc |
| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 7 | .. |
| -rw-r--r-- | 1329 | basic.cc |
| -rw-r--r-- | 1311 | generation_prohibited.cc |
| -rw-r--r-- | 1310 | propagation_consistent.cc |