Tree
- Tree:
b781ff48d7290f529d67706c218335507d8191ca
- Date:
- Message:
- devdraw: hide dock in full screen mode Unfortunately this hides the dock even if it is on a different screen. We need to figure out how to tell. But this is more usable than not. Probably.
README
This directory contains scripts and files that help to run the distribution. mk check.out summarizes problems with the man pages. mk man recreates the HTML version of the man pages mk push copies the HTML pages to 9fans.github.io