Tomoki, Karatsu
13ea1b70fe
CONFIG: update/generalize FJMPI settings ( #2044 )
...
- previously had a very old (likely irrelevant) setting for solaris
systems only.
- support site-specific customization.
Eg, using etc/config.{csh,sh}/prefs.fjmpi
- remove erroneous shell redirects present in cshell files
2021-03-29 16:00:11 +02:00
..
2020-11-17 21:29:07 +01:00
2021-03-29 16:00:11 +02:00
2020-11-11 18:36:01 +01:00
2020-11-11 18:36:01 +01:00
2020-11-11 18:36:01 +01:00
2020-11-11 18:36:01 +01:00
2020-11-11 18:36:01 +01:00
2020-09-07 09:45:51 +02:00
2020-09-07 09:45:51 +02:00
2020-09-07 09:45:51 +02:00
2020-09-07 09:45:51 +02:00
2020-09-07 09:45:51 +02:00
2020-09-07 09:45:51 +02:00
2020-09-07 09:45:51 +02:00
2020-11-11 18:36:01 +01:00
2020-11-11 18:36:01 +01:00
2020-11-11 18:36:01 +01:00
2020-11-11 18:36:01 +01:00
2020-11-11 18:36:01 +01:00
2020-09-07 09:45:51 +02:00
2020-09-07 09:45:51 +02:00
2020-09-07 09:45:51 +02:00