ovni/doc
2024-01-30 12:02:02 +01:00
..
dev Describe event declaration language 2023-12-21 14:55:05 +01:00
fig Move user guide docs to a new directory 2023-03-24 12:08:45 +00:00
user Encode ovnievents output for HTML 2024-01-30 12:02:02 +01:00
CHANGELOG.md Include changelog in documentation 2023-11-16 12:39:14 +01:00
extra.css Add more documentation 2022-09-12 16:16:10 +02:00
index.md Copy Paraver configs into the trace directory 2022-11-09 16:09:33 +01:00
requirements.txt Add requeriments.txt for readthedocs 2022-11-04 11:49:26 +01:00