diff options
| author | Petter Rodhelind <petter.rodhelind@gmail.com> | 2017-09-28 11:20:22 +0200 |
|---|---|---|
| committer | Petter Rodhelind <petter.rodhelind@gmail.com> | 2017-09-28 11:20:22 +0200 |
| commit | ed9342b2a15fcb98a5e1641b291b9d51f00538e8 (patch) | |
| tree | fae6678eac643e3b220ac1cf5529a81f780fe475 /dist/README | |
| parent | 3792be8ab8fe8253fa4758a646963eb7fb95b390 (diff) | |
| parent | 3f8ac29339ad67f05d32064fcc810035d55a3985 (diff) | |
| download | plan9port-ed9342b2a15fcb98a5e1641b291b9d51f00538e8.tar.gz plan9port-ed9342b2a15fcb98a5e1641b291b9d51f00538e8.tar.bz2 plan9port-ed9342b2a15fcb98a5e1641b291b9d51f00538e8.zip | |
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'dist/README')
| -rw-r--r-- | dist/README | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dist/README b/dist/README index eaa28d0d..ba27e51e 100644 --- a/dist/README +++ b/dist/README @@ -7,5 +7,6 @@ mk man recreates the HTML version of the man pages mk push - copies the HTML pages to swtch.com + copies the HTML pages to 9fans.github.io + |