Revision 4f4dbedb
ID | 4f4dbedb702f85a20301e9e59ea1dd3cef5739f7 |
Parent | 71ce3f9c |
Child | 53abf41e |
Properly signal the end of file
Files
- added
- modified
- copied
- renamed
- deleted
ID | 4f4dbedb702f85a20301e9e59ea1dd3cef5739f7 |
Parent | 71ce3f9c |
Child | 53abf41e |
Added by Luca Abeni almost 10 years ago
Properly signal the end of file