diff options
| author | Patrick Lehmann <Patrick.Lehmann@plc2.de> | 2021-01-04 14:38:27 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2021-01-05 18:50:44 +0100 |
| commit | 7d11ff27b38ea91a2b1c75ed00a8c52eeda836e1 (patch) | |
| tree | 781af413a8b3e8f0d04278534da164744662d8ac /src | |
| parent | 1034acdb7c3c0e8c120f738801951eccbdf59941 (diff) | |
| download | ghdl-7d11ff27b38ea91a2b1c75ed00a8c52eeda836e1.tar.gz ghdl-7d11ff27b38ea91a2b1c75ed00a8c52eeda836e1.tar.bz2 ghdl-7d11ff27b38ea91a2b1c75ed00a8c52eeda836e1.zip | |
Reorganized conf.py in a logical flow and sections for each plugin.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions