David Rose 06e85ef8f7 add default-terminal-width and use-terminal-width 21 years ago
..
src 06e85ef8f7 add default-terminal-width and use-terminal-width 21 years ago
.gitignore 209cf4b59b cvsignore files for new directories 21 years ago
Package.pp 35f40e8c2a clarify inter-tree dependencies comments 21 years ago
Sources.pp 67a298793d Initial revision 25 years ago