Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | GNUmakefile | 908 | logplain |
-rw-r--r-- | combinator.rst.in | 42 | logplain |
-rw-r--r-- | conf.py | 2360 | logplain |
-rw-r--r-- | connection.rst.in | 8488 | logplain |
-rw-r--r-- | data.rst.in | 4678 | logplain |
-rw-r--r-- | deployment.rst.in | 24 | logplain |
-rw-r--r-- | host.rst.in | 2239 | logplain |
-rw-r--r-- | ideas.rst | 3945 | logplain |
-rw-r--r-- | image.rst.in | 38 | logplain |
-rw-r--r-- | index.rst | 646 | logplain |
-rw-r--r-- | installation.rst | 889 | logplain |
-rw-r--r-- | introduction.rst | 13014 | logplain |
-rw-r--r-- | news.rst | 5670 | logplain |
-rw-r--r-- | pitfalls.rst | 7769 | logplain |
-rw-r--r-- | property.rst.in | 13585 | logplain |
-rw-r--r-- | propspec.rst.in | 7714 | logplain |
d--------- | tutorial | 132 | logplain |
-rw-r--r-- | util.rst.in | 74 | logplain |