Open LeonPyramid opened 2 years ago
I installed lablgtk 2.18.12 on my ubuntu to run frama-c-gui. However, it is extremely slow at start for no real reason.
I installed lablgtk 2.18.12 on my ubuntu to run frama-c-gui. However, it is extremely slow at start for no real reason.