Skip to content
Snippets Groups Projects
Select Git revision
  • bc76ad72f653325d71e2ecfa7ae9163f9d29a402
  • master default
  • lip-21w
3 results

handout.tex

user avatar
Adriaan de Groot authored
 - This was commented out to combat the crash in device->type()
 - I believe the crash was caused by double-deletion, which was
   fixed in 2092ec3c by not re-
   parenting an immutable copy of something.
 - Restore the button-fix, since we need that to keep the
   *create* button in-sync with the selected partition.

FIXES #1097
2b149fb9
History
Code owners
Assign users and groups as approvers for specific file changes. Learn more.