equal
deleted
inserted
replaced
140 YYYY/MM/DD HH:MM:SS (PID)> - loading extension registration objects |
140 YYYY/MM/DD HH:MM:SS (PID)> - loading extension registration objects |
141 YYYY/MM/DD HH:MM:SS (PID)> > extension registration object loading took * (glob) |
141 YYYY/MM/DD HH:MM:SS (PID)> > extension registration object loading took * (glob) |
142 YYYY/MM/DD HH:MM:SS (PID)> > extension baddocext take a total of * to load (glob) |
142 YYYY/MM/DD HH:MM:SS (PID)> > extension baddocext take a total of * to load (glob) |
143 YYYY/MM/DD HH:MM:SS (PID)> > extension gpg take a total of * to load (glob) |
143 YYYY/MM/DD HH:MM:SS (PID)> > extension gpg take a total of * to load (glob) |
144 YYYY/MM/DD HH:MM:SS (PID)> extension loading complete |
144 YYYY/MM/DD HH:MM:SS (PID)> extension loading complete |
|
145 Given a topic, extension, or command name, print help for that topic. |
145 #endif |
146 #endif |
146 |
147 |
147 confirm that there's no crash when an extension's documentation is bad |
148 confirm that there's no crash when an extension's documentation is bad |
148 |
149 |
149 $ hg help --keyword baddocext |
150 $ hg help --keyword baddocext |