scolobb/dds
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity
463 commits 3 branches 0 tags 7.5 MiB
Commit graph

2 commits

Author SHA1 Message Date
Sergiu Ivanov
e2788be237 Add the Scribble files for almost all modules. 
The generics module will probably disappear or take a different shape
in the near future.
 2020-11-29 17:43:20 +01:00
Sergiu Ivanov
8487b64287 Rename manual → dds. 2020-11-29 17:15:24 +01:00
Renamed from scribblings/manual.scrbl (Browse further)