Repository navigation

Rename Advanced Tools to Development Tools - #1149

Merged

erlend-aasland merged 5 commits into

python:mainfrom

erlend-aasland:enter-development-tools

Aug 8, 2023

Merged

Rename Advanced Tools to Development Tools#1149
erlend-aasland merged 5 commits into
python:mainfrom
erlend-aasland:enter-development-tools

Commits on Aug 2, 2023
- Rename advanced-tools/ => development-tools/
  erlend-aasland
  committed
  bbf0bc1
- Adapt .rst files to the new layout
  erlend-aasland
  committed
  eecf941
- Move Development Tools between Testing & Buildbots and Core Developers
  erlend-aasland
  committed
  fdcc792
Commits on Aug 3, 2023
- Add redirects
  
  erlend-aasland
  and
  hugovk
  authored
  0fdaafe
- Add some comments
  erlend-aasland
  committed
  cb28456