wok annotate .hgignore @ rev 25020

updated openmpi and openmpi-dev (4.0.3 -> 4.1.3)
author Hans-G?nter Theisgen
date Wed May 18 08:05:48 2022 +0100 (2022-05-18)
parents cd967cdca7ae
children
rev   line source
al@17297 1 syntax: glob
al@17297 2 ./*/source/*
al@17297 3 ./*/install/*
al@17297 4 ./*/taz/*