Summary
- clarified basic Linux packages;
The file was modified | src/Pure/System/linux.scala (diff) |
The file was modified | src/Pure/Tools/build_docker.scala (diff) |
The file was modified | src/Pure/Tools/phabricator.scala (diff) |
The file was modified | src/Pure/System/linux.scala (diff) |
The file was modified | src/Pure/Tools/build_docker.scala (diff) |
The file was modified | src/Pure/Tools/phabricator.scala (diff) |