|
|
22d79b0dc2
|
Housekeeping...
|
2022-07-26 10:51:14 +02:00 |
|
|
|
66990b1028
|
Housekeeping...
|
2022-06-04 16:56:15 +02:00 |
|
|
|
210f8bf0ef
|
Housekeeping: updating docs and contributors list
|
2022-05-06 17:26:00 +02:00 |
|
|
|
7b07141162
|
Regenerate docs
|
2022-04-08 22:17:08 +02:00 |
|
|
|
db2b14cd95
|
Improve documentation
|
2022-04-06 16:12:01 +02:00 |
|
|
|
9d2bdb9bbd
|
Small fix to the documentation
|
2022-03-31 02:54:17 +02:00 |
|
|
|
9af6608f63
|
Regenerate documentation
|
2022-03-24 19:59:57 +01:00 |
|
|
|
ea6471336a
|
Add links to documentation files
|
2022-02-15 00:00:30 +01:00 |
|
|
|
e7ca1f2dc7
|
Regenerate docs
|
2022-02-14 04:59:49 +01:00 |
|
|
|
e6ac080019
|
Regenerate docs
|
2022-02-01 13:21:45 +01:00 |
|
|
|
1fe1ea5a78
|
Regenerate docs
|
2022-01-28 14:56:02 +01:00 |
|
|
|
fa971ffbbf
|
Full code cleanup
|
2022-01-26 21:40:38 +01:00 |
|
|
|
50ae3bf5ba
|
Regenerate docs
|
2022-01-26 21:15:29 +01:00 |
|
|
|
4f7f93e9c1
|
Merge documentation-branch, regenerate documentation
|
2022-01-15 02:55:52 +01:00 |
|
|
|
109a4f1f95
|
Add indication if a mapping cannot be chosen by a contributor
|
2022-01-15 01:22:06 +01:00 |
|
|
|
087bbf7acc
|
Actually add documentation
|
2022-01-14 19:36:36 +01:00 |
|
