• unknown's avatar
    - Rather "bk cat" the files from the mysqldoc BK tree during Bootstrap · 7764d6e5
    unknown authored
       than trying to copy them (they might have been "bk clean"ed and thus
       not available for copying)
     - Brushed up the Bootstrap online help a bit
    
    
    Build-tools/Bootstrap:
       - Rather "bk cat" the files from the mysqldoc BK tree than trying to
         copy them (they might have been "bk clean"ed and thus not available
         for copying)
       - Brushed up the online help a bit
    7764d6e5
Bootstrap 11.2 KB