diff options
author | Cyril Cohen <CohenCyril@users.noreply.github.com> | 2021-01-11 10:23:05 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-11 10:23:05 +0100 |
commit | e87aef06e00c42b26789321454d7bd609548cc12 (patch) | |
tree | fa0d9a7b93876fe0fe3980077dd348b5e0f19cc8 /pkgs/development/ruby-modules | |
parent | b0c1583a0b606560a4a47322fc849cfc1cfa0090 (diff) |
coqPackages: doc (#108937)
changing bullet style
Diffstat (limited to 'pkgs/development/ruby-modules')
0 files changed, 0 insertions, 0 deletions