Revision 491:89212ad6a0bf
| ID | 89212ad6a0bfc0477df72cbcff2f5288dabc62a6 |
| Parent | 490:b6b532e88a5c |
| Child | 492:e9821d65b9ba |
update_board does not coreclean if --no-frills
Downloads
- added
- modified
- copied
- renamed
- deleted
| ID | 89212ad6a0bfc0477df72cbcff2f5288dabc62a6 |
| Parent | 490:b6b532e88a5c |
| Child | 492:e9821d65b9ba |
Added by Giulio Moro over 9 years ago
update_board does not coreclean if --no-frills