magic_dev.info in Magic 7.2
Same filename and directory in other branches
name = Magic Development description = Development options for Magic core = 7.x package = Frontend dependencies[] = magic
File
magic_dev/magic_dev.infoView source
- name = Magic Development
- description = Development options for Magic
- core = 7.x
- package = Frontend
-
- dependencies[] = magic