https://github.com/jdmota/tools-examples
Tip revision: 8d8afc0f93ecb2effd2ed3566fd5e0873fac7e2a authored by jdmota on 05 February 2023, 16:41:14 UTC
Minor change to FileReader
Minor change to FileReader
Tip revision: 8d8afc0
| File | Mode | Size |
|---|---|---|
| key | ||
| plural | ||
| vercors | ||
| verifast | ||
| .editorconfig | -rw-r--r-- | 243 bytes |
| .gitattributes | -rw-r--r-- | 38 bytes |
| .gitignore | -rw-r--r-- | 8 bytes |
| LICENSE.txt | -rw-r--r-- | 18.2 KB |
| README.md | -rw-r--r-- | 1.5 KB |
| file_reader_protocol.png | -rw-r--r-- | 30.1 KB |
