Il giorno 17 mar 2021, alle ore 18:30, bob bill <vef...@gmail.com> ha scritto: > > So far I have deal.II 9.2.0 installed with .dmg, but also the "unnecessary" > installation in /usr/local/bin/deal_9.2.0 obtained with .tar.gz. > To remove the latter, is it sufficient to drag the deal_9.2.0 folder into > bin?
Yes. :-) -- The deal.II project is located at http://www.dealii.org/ For mailing list/forum options, see https://groups.google.com/d/forum/dealii?hl=en --- You received this message because you are subscribed to the Google Groups "deal.II User Group" group. To unsubscribe from this group and stop receiving emails from it, send an email to dealii+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/dealii/4930A894-A246-477E-B618-BE576BF29D99%40gmail.com.
