summaryrefslogtreecommitdiff
path: root/doc/concepts/overview.org
AgeCommit message (Collapse)Author
2023-06-12doc: Convert orgmode files to markdownOliver Reiche
2023-02-22docs: Fix typos in general documentationPaul Cristian Sarbu
2022-08-19Add glob reference to source filesKlaus 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-09fix typosAlberto Sartori
2022-05-20overview over the most important concepts of the toolKlaus Aehlig