diff options
| author | Robert Schütz <nix@dotlambda.de> | 2022-12-12 22:15:42 -0800 |
|---|---|---|
| committer | Robert Schütz <github@dotlambda.de> | 2022-12-13 09:10:23 -0800 |
| commit | 93e4170a3e9388afcea73ab2346fcdc37f068587 (patch) | |
| tree | 48ded4c7b7af83152b12a0bd49f22e6b6ce1ce5d /doc/languages-frameworks/coq.section.md | |
| parent | 5a3497bf84a99d28159d9a6efa2524639df86d65 (diff) | |
| download | nixpkgs-93e4170a3e9388afcea73ab2346fcdc37f068587.tar nixpkgs-93e4170a3e9388afcea73ab2346fcdc37f068587.tar.gz nixpkgs-93e4170a3e9388afcea73ab2346fcdc37f068587.tar.bz2 nixpkgs-93e4170a3e9388afcea73ab2346fcdc37f068587.tar.lz nixpkgs-93e4170a3e9388afcea73ab2346fcdc37f068587.tar.xz nixpkgs-93e4170a3e9388afcea73ab2346fcdc37f068587.tar.zst nixpkgs-93e4170a3e9388afcea73ab2346fcdc37f068587.zip | |
python310Packages.pycodestyle: fix meta.changelog
Diffstat (limited to 'doc/languages-frameworks/coq.section.md')
0 files changed, 0 insertions, 0 deletions