Revision 9aaee7f9
added warnings for useless variables (at verbose level 1)
- exact definition of 'useless' may be further refined
- display could certainly be improved
Files
- added
- modified
- copied
- renamed
- deleted
| ID | 9aaee7f973c6a66cac4f084ad4cea7319d4a463f |
| Parent | 54adb917 |
| Child | d96d54ac |
Added by Xavier Thirioux about 5 years ago
added warnings for useless variables (at verbose level 1)
- exact definition of 'useless' may be further refined
- display could certainly be improved