search

antmicro / tuttest

A simple Python utility for extracting documentation snippets from tutorials.
Apache License 2.0
13 stars 2 forks source link

Allow using numbers for calling snippets #3

Closed mgielda closed 4 years ago

mgielda commented 4 years ago

We had numbers first, then switched to names, which are of course more robust - but for tutorials we have no control over (so we cannot add snippet names in comments), numbers would work just fine.

mgielda commented 4 years ago

Implemented.