New URL for NEMO forge!   http://forge.nemo-ocean.eu

Since March 2022 along with NEMO 4.2 release, the code development moved to a self-hosted GitLab.
This present forge is now archived and remained online for history.
Changeset 12671 for utils/tools_r4.0-HEAD – NEMO
Timestamp:
2020-04-03T17:32:46+02:00 (4 years ago)
Author:
mathiot
Message:

ticket #2405: add maketools@12273 in tools_r4.0-HEAD

Location:
utils/tools_r4.0-HEAD
Files:
1 added
1 edited

  • utils/tools_r4.0-HEAD

    • Property svn:externals

      •  

        old new  
        1 ^/utils/build/maketools maketools 
         1 
Note: See TracChangeset for help on using the changeset viewer.