Revision 57d95ead
ID | 57d95ead7e7ceaad0f7d352fce6b3b365a794e0a |
Parent | 74113dc6 |
Child | 9869aeb7 |
Fix a merge error by returning the token field to its former read-only status. Fixed a warning, too.
Files
- added
- modified
- copied
- renamed
- deleted
ID | 57d95ead7e7ceaad0f7d352fce6b3b365a794e0a |
Parent | 74113dc6 |
Child | 9869aeb7 |
Added by pastith over 15 years ago
Fix a merge error by returning the token field to its former read-only status. Fixed a warning, too.