mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2025-12-14 05:12:33 +00:00
Code Issues Projects Releases Wiki Activity

Update this file.

Browse Source 
Estimated hours taken: 0.1
Branches: main

scripts/.cvsignore:
	Update this file.
This commit is contained in:
Julien Fischer
2005-02-03 03:32:30 +00:00
parent 27d6e2d146
commit 524b112dea
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
scripts/.cvsignore
View File

@@ -7,3 +7,4 @@ mercury.bat
mdprof
parse_ml_options.sh-subr
Mercury.config Mercury.config.bootstrap mercury_config
prepare_tmp_dir_fixed_part