## shell-tool.lib
## (C) 2000 Lucent Technologies, Bell Laboratories
## Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
# Compiled by:
#
src/lib/core/internal/interactive-system.lib# The plugin library for the "shell" tool.
LIBRARY_EXPORTS
pkg shell_tool
LIBRARY_COMPONENTS
$ROOT/
src/lib/std/standard.lib $ROOT/
src/lib/core/makelib/makelib-tools-stuff.lib tool.pkg