![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/p.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| User Guide.txt | 2017-04-20 16:38 | 1.2K | |
| hairpin_detection.py | 2017-04-20 16:38 | 2.6K | |
| hairpin_detection.xml | 2017-04-20 16:38 | 1.7K | |
| informations.txt | 2017-04-20 16:38 | 361 | |
| lectures_maj.txt | 2017-04-20 16:38 | 21K | |
| notes | 2017-04-20 16:38 | 0 | |
| output.txt | 2017-04-20 16:38 | 549K | |
| structures.txt | 2017-04-20 16:38 | 122K | |
| tool_conf.xml | 2017-04-20 16:38 | 5.3K | |
| tool_conf.xml.main | 2017-04-20 16:38 | 5.9K | |