@comment PKG_FORMAT_REVISION:1.1
@name mined-2000.10
@comment ORIGIN:editors/mined
@cwd /usr/local
man/man1/mined.1.gz
@comment MD5:b3a21fcd0ce878bc76f5c805c37db65a
@unexec rm -f %D/man/cat1/mined.1 %D/man/cat1/mined.1.gz
bin/mined
@comment MD5:b11fc2cb72d848cb80169e7bd7a11f5b
share/doc/mined/help/CHANGES
@comment MD5:2dc6fbd290b1f546ba694d45e8fcf4cc
share/doc/mined/help/README
@comment MD5:7a7a8fb21eb3c280a64de5b8980921c0
share/doc/mined/help/Xdefaults.mined
@comment MD5:5d9c5c15980265a75511b8fa47f23543
share/doc/mined/help/bdf18to20
@comment MD5:1738b3ebe7d6371bb23d4adec41a17ba
share/doc/mined/help/bdf18to20.sed
@comment MD5:ac0a54e6825eaf9ca06d8658077a3809
share/doc/mined/help/configure-xterm
@comment MD5:9513cf4f3ef7905b49a004b4acfe337a
share/doc/mined/help/lmined
@comment MD5:26619b919c784a8c1b139679e55349c0
share/doc/mined/help/makeprint
@comment MD5:b56a08658ac9cb97ca6d8c54ac286fc2
share/doc/mined/help/mined.desktop
@comment MD5:8708382053502458ca3b6d3dc559a6e0
share/doc/mined/help/mined.hlp
@comment MD5:114d15e22cc4c1ee374ecdf450dc9aa5
share/doc/mined/help/minedmar
@comment MD5:981029a1bde410236aee928bff195ff2
share/doc/mined/help/minedmar.bat
@comment MD5:8dc32a9b3e6b6333cd1f2bca6093ce02
share/doc/mined/help/mterm
@comment MD5:fc002856b5445db008d777cc8b6a1183
share/doc/mined/help/profile.mined
@comment MD5:92a0f022b69d30979605de48185ac1d0
share/doc/mined/help/umined
@comment MD5:26619b919c784a8c1b139679e55349c0
share/doc/mined/help/uprint
@comment MD5:756cec8e52100886f357b94c10c8c579
share/doc/mined/help/uterm
@comment MD5:5739bfdccca877c4ecc4b3aeec344d00
share/doc/mined/help/wmined
@comment MD5:aaa394adec0c8cc8629ba5918d38e4d0
share/doc/mined/help/wmined.bat
@comment MD5:e64805acb1b2ee2ba0d257dea25a93f2
share/doc/mined/help/xinitrc.mined
@comment MD5:7066eab900ce2afeadeafdcfdf26ee97
share/doc/mined/help/xmined
@comment MD5:26619b919c784a8c1b139679e55349c0
@dirrm share/doc/mined/help
share/doc/mined/cancel.html
@comment MD5:5f6dfdf594c05c24ccc994d5330d19fe
share/doc/mined/changes.html
@comment MD5:2dc6fbd290b1f546ba694d45e8fcf4cc
share/doc/mined/combined.png
@comment MD5:ff00c27e8aa15cc8072f6909ef28bbc8
share/doc/mined/combining.png
@comment MD5:2e23b0d3f5528933abcca5e7cb3bb548
share/doc/mined/contact.html
@comment MD5:7d7b5d3290d01e464f68ddc923ff36b5
share/doc/mined/design.html
@comment MD5:a3ba79b5caa02fb12f6f0229d7a7b3d7
share/doc/mined/dollar.gif
@comment MD5:94ce5e5d41445fde8203e72f94df4431
share/doc/mined/donate.html
@comment MD5:5df2239d95fdd6da2ebfb69244e9f8c2
share/doc/mined/download.html
@comment MD5:c60e025b59c1cdd8331bea127750eaff
share/doc/mined/euro1.gif
@comment MD5:7f20b79ee02d88b480c33a4bc322a13a
share/doc/mined/features.html
@comment MD5:fcc24b57f5d42bc8d8f1c42c14ea210c
share/doc/mined/handr.gif
@comment MD5:72edc3cce180ef776456b711ad15d5dd
share/doc/mined/haninfo-big5.png
@comment MD5:3bf0a7992cb621eb78fe5a3652a2e3e3
share/doc/mined/haninfo-menu.png
@comment MD5:61cecc7123d8fa6c11d13c3f32f994c5
share/doc/mined/haninfo-utf8.png
@comment MD5:87deaefec9425b3b4d881ec2526b2cb1
share/doc/mined/header.html
@comment MD5:fd26d218ea591c44386ade4da65281d4
share/doc/mined/index-dl.html
@comment MD5:592112e09111345dfbba86e7a7d97d6a
share/doc/mined/index.html
@comment MD5:1961d04ea2df1aa024a6fece17b45012
share/doc/mined/logo.gif
@comment MD5:884b7a26be8c47e5fe08e4f7ab6164c4
share/doc/mined/menu.png
@comment MD5:4d341cf47879b002ff1713a9ac277ba9
share/doc/mined/mined-html.png
@comment MD5:94c90a9d537280dc8930569c25d3c749
share/doc/mined/mined-uni.png
@comment MD5:b8cce886d63381a470fdb1bf49b95d50
share/doc/mined/mined.html
@comment MD5:3674df8a825169d4035d085dbdd11b33
share/doc/mined/mnemodoc.html
@comment MD5:32bec0cae4bd27fae94b116d8aeddf31
share/doc/mined/navigate.html
@comment MD5:c4516741cbb6e55d61cdc94ad2deedf1
share/doc/mined/new-rot.gif
@comment MD5:1173423da30548c406f91cff60cd61eb
share/doc/mined/new.gif
@comment MD5:3e95556f21975a9755195d86f8a28180
share/doc/mined/overview.html
@comment MD5:f3726233b1c2644adb2c4d4bd9a3cb44
share/doc/mined/paypal_donate.gif
@comment MD5:d500855d7b9efaf158b0873aadf80894
share/doc/mined/paypal_logo.gif
@comment MD5:cf94bac2b9f14b434b88059ff32e3477
share/doc/mined/paypal_payments.gif
@comment MD5:eced25b4116ae015af4957450a5e74c0
share/doc/mined/picklist.png
@comment MD5:aa74b0bed552f5c018cff2f1d9693ef8
share/doc/mined/script-arabic.gif
@comment MD5:39c9c8c11dc3ad2cbb68c6fbe28e328c
share/doc/mined/script-cyrillic.gif
@comment MD5:ff2ed4f5c51b5706f94096ea7b99b96d
share/doc/mined/script-greek.gif
@comment MD5:9c7ffb96e6b832eb51fec35ebb3e342b
share/doc/mined/script-han.gif
@comment MD5:3105d9f35b29664513d153b806e47e5a
share/doc/mined/script-hebrew.gif
@comment MD5:f7131cc08535aeb76fff3d5f3bdf8d01
share/doc/mined/script-highlighting.png
@comment MD5:38f338675a2a19560fd082c19758fb2d
share/doc/mined/script-hiragana.gif
@comment MD5:73e73c796ebc33e2b1f2925319389aa6
share/doc/mined/script-thai.gif
@comment MD5:51c814a1315b4840da0a8ca1b2daaf6a
share/doc/mined/separated.png
@comment MD5:aeb329901b7e3a1bf710e417bec63d8f
share/doc/mined/thankyou.html
@comment MD5:659b2453121b2c6b5cb63ef84575a8ee
share/doc/mined/unicode.html
@comment MD5:fdbfe94eb8affc5df8fcb87c08eef659
@dirrm share/doc/mined
@cwd .
@ignore
+COMMENT
@comment MD5:e83b2145ffa94a67555d2a95bcae91ae
@ignore
+DESC
@comment MD5:1d3570be4e900b8a70d0123fcd774622
@ignore
+MTREE_DIRS
@comment MD5:b4d3c33964a8aa569ca4aaa82f584523
@mtree +MTREE_DIRS
