Activity
From 18 Jul 2022 to 16 Aug 2022
16 Aug 2022
-
21:29 Bug #1695 (In Progress): boost-find-lib.sh
- I have changed the list of dirs to search for the BOOST libs, and have asked Robert Goldman to verify that it works f...
-
- Robert Goldman reported by email (2022-08-15) that the script @boost-find-lib.sh@
did not work with a standard insta...
Also available in: Atom