diff options
| author | Heinz Wiesinger <pprkut@slackbuilds.org> | 2021-04-22 16:20:26 +0200 |
|---|---|---|
| committer | Robby Workman <rworkman@slackbuilds.org> | 2021-04-22 20:17:41 -0500 |
| commit | 21642447dd489fc4af818269af7d755486a7ebdc (patch) | |
| tree | fb128f501e3f3ff957a27b981a0c888b2a73290c /development/ming/ming.ini | |
| parent | b798d6eb7c889fd3e13bfacb870360646035c460 (diff) | |
development/ming: Removed.
Unmaintained
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
Diffstat (limited to 'development/ming/ming.ini')
| -rw-r--r-- | development/ming/ming.ini | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/development/ming/ming.ini b/development/ming/ming.ini deleted file mode 100644 index d73fcb9595971..0000000000000 --- a/development/ming/ming.ini +++ /dev/null @@ -1,2 +0,0 @@ -; Enable ming extension module -; extension=ming.so |