Replaces / with // Args: text (str): location Returns: str: formatted location
(text)
| 246 | |
| 247 | |
| 248 | def doubleslash(text): |
| 249 | """Replaces / with // |
| 250 | |
| 251 | Args: |
| 252 | text (str): location |
| 253 | |
| 254 | Returns: |
| 255 | str: formatted location |
| 256 | """ |
| 257 | return text.replace("\\", "\\\\") |
| 258 | |
| 259 | |
| 260 | def print_index(toc): |