![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| text_file_read_example | 2025-08-24 15:51 | 257K | |
| stream_read_line | 2025-08-24 15:51 | 303K | |
| stream_read_character | 2025-08-24 15:51 | 244K | |
| serial | 2025-08-24 15:51 | 340K | |
| redirection_example | 2025-08-24 15:51 | 358K | |
| low_level_redirection_example | 2025-08-24 15:51 | 215K | |
| filter_examples | 2025-08-24 15:51 | 290K | |
| text_file_read_example.e | 2017-06-04 23:54 | 1.1K | |
| stream_read_line.e | 2017-06-04 23:54 | 958 | |
| serial.e | 2017-06-04 23:54 | 1.4K | |
| redirection_example.e | 2017-06-04 23:54 | 1.0K | |
| stream_read_character.e | 2017-06-04 23:54 | 609 | |
| low_level_redirection_example.e | 2017-06-04 23:54 | 741 | |
| filter_examples.e | 2017-06-04 23:54 | 1.4K | |