Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-06-12 | doc: Convert orgmode files to markdown | Oliver Reiche | |
2023-02-22 | docs: Fix typos in general documentation | Paul Cristian Sarbu | |
2022-08-19 | Add glob reference to source files | Klaus Aehlig | |
Like file or tree references, globs are restricted to the current module; in fact, by the way we evaluate them, even to the top-level directory of that module: a glob is a target having as artifacts and runfiles those entries of the top-level directory of the specified module that match the given pattern. | |||
2022-06-09 | fix typos | Alberto Sartori | |
2022-05-20 | overview over the most important concepts of the tool | Klaus Aehlig | |