forked from pool/dejagnu
- close-wait-program.patch: Use separate kill command for each pid (bsc#1100206) - Use %license. OBS-URL: https://build.opensuse.org/request/show/623490 OBS-URL: https://build.opensuse.org/package/show/devel:tools/dejagnu?expand=0&rev=27
Description
No description provided
Languages
Standard ML
100%