diff options
| author | Matteo Bernardini <ponce@slackbuilds.org> | 2013-11-16 10:28:58 +0100 |
|---|---|---|
| committer | Robby Workman <rworkman@slackbuilds.org> | 2013-11-16 13:58:35 -0600 |
| commit | eb12ed494d5b592c354ad0fa70021c1c3b97ed92 (patch) | |
| tree | d60bc2e726837bac58330108a8eca138463b3d22 /development/mcrl2 | |
| parent | 10fde6e0d605177efed81aadb7d89c938346aab6 (diff) | |
| download | slackbuilds-eb12ed494d5b592c354ad0fa70021c1c3b97ed92.tar.gz | |
system/dosemu: Updated for version 20130804_35054ba.
Moved configurations in /etc/dosemu
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Diffstat (limited to 'development/mcrl2')
0 files changed, 0 insertions, 0 deletions