terminal.rst
changeset 1334 9bf0d5a1f0cf
parent 1037 49735af70121
child 1835 54a86a023f1b
equal deleted inserted replaced
1333:81e09593158f 1334:9bf0d5a1f0cf
     1 .. -*- coding: utf-8; -*-
     1 .. -*- coding: utf-8; -*-
       
     2 .. include:: HEADER.rst
     2 
     3 
     3 ===========
     4 ===========
     4  Terminal.
     5  Terminal.
     5 ===========
     6 ===========
     6 .. contents::
     7 .. contents::