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-11 18:36:01 +01:00
2020-12-14 15:20:36 +01:00
2020-06-03 12:11:17 +02:00
2020-05-14 11:20:49 +02:00
2019-10-31 14:48:44 +00:00
2020-08-10 14:38:41 +02:00
2020-05-05 18:06:09 +02:00
2020-11-11 17:58:47 +01:00
2020-12-18 11:33:46 +01:00
2019-11-06 10:44:36 +01:00
2020-04-08 11:38:18 +02:00
2020-04-21 14:59:07 +02:00
2020-06-19 12:44:14 +02:00
2019-12-05 11:47:19 +00:00
2019-10-31 14:48:44 +00:00
2019-10-31 14:48:44 +00:00
2021-03-29 16:00:11 +02:00
2020-05-22 21:53:42 +02:00
2020-05-22 21:53:42 +02:00
2020-12-14 15:20:36 +01:00
2019-11-15 17:49:12 +01:00
2020-11-11 17:58:47 +01:00
2020-11-04 15:17:28 +01:00
2020-12-18 11:33:46 +01:00
2019-12-12 14:29:59 +01:00