Cleaner way to select plugin-kernel tab
Showing
- _data/tabs.yml 4 additions, 0 deletions_data/tabs.yml
- _layouts/feature.html 2 additions, 2 deletions_layouts/feature.html
- html/acsl.html 2 additions, 2 deletionshtml/acsl.html
- html/gui.md 1 addition, 1 deletionhtml/gui.md
- html/kernel-plugin.html 1 addition, 1 deletionhtml/kernel-plugin.html
- html/kernel.html 1 addition, 1 deletionhtml/kernel.html
Loading
Please register or sign in to comment