dev/base_db


1
2
3
4
5
6
7

source core.dbg
load_printer ltac_plugin.cmo
load_printer top_printers.cmo
install_printer Top_printers.ppid
install_printer Top_printers.ppsp
install_printer Top_printers.ppconstr