Zoltan Somogyi 4f3c57e559 Copy getop_template to install dirs.

2020-09-19 08:22:16 +10:00

..

.gitignore

Add mercury script to .gitignore.

2020-06-27 15:06:21 +10:00

.nocopyright

…

32px.png

…

40px.png

…

c2init.in

Bring the style of some scripts up to date ...

2020-08-14 20:11:56 +10:00

canonical_grade.in

Bring the style of some scripts up to date ...

2020-08-14 20:11:56 +10:00

canonical_grade.sh-subr

Update and fix copyright notices in the scripts directory.

2020-06-16 17:22:09 +10:00

compare_s1s2_lib

…

final_grade_options.sh-subr

Update and fix copyright notices in the scripts directory.

2020-06-16 17:22:09 +10:00

fullarch

…

gud.el

…

init_grade_options.sh-subr

Update and fix copyright notices in the scripts directory.

2020-06-16 17:22:09 +10:00

jquery.slim.js

…

jstree.js

…

jstree.style.css

…

mdb_grep

…

mdb_open

…

mdb_term_browser.css

…

mdb_term_browser.js

…

mdb_track

…

mdb.bat.in

Update and fix copyright notices in the scripts directory.

2020-06-16 17:22:09 +10:00

mdb.in

Update and fix copyright notices in the scripts directory.

2020-06-16 17:22:09 +10:00

mdbrc.in

…

mdprof.in

Bring the style of some scripts up to date ...

2020-08-14 20:11:56 +10:00

mercury_compile.sh-csharp

…

mercury_compile.sh-java

…

mercury_config.in

…

mercury_update_interface.in

Bring the style of some scripts up to date ...

2020-08-14 20:11:56 +10:00

mercury.bat.in

Update and fix copyright notices in the scripts directory.

2020-06-16 17:22:09 +10:00

Mercury.config.bootstrap.in

Fix problem building stage 1 compiler in Java grade.

2020-06-29 16:06:50 +10:00

Mercury.config.in

Update and fix copyright notices in the scripts directory.

2020-06-16 17:22:09 +10:00

mercury.in

Bring the style of some scripts up to date ...

2020-08-14 20:11:56 +10:00

mfilterjavac.sh-java

…

mgnuc_file_opts.sh-subr

…

mgnuc.in

Bring the style of some scripts up to date ...

2020-08-14 20:11:56 +10:00

mkfifo_using_mknod.in

Bring the style of some scripts up to date ...

2020-08-14 20:11:56 +10:00

ml.in

Bring the style of some scripts up to date ...

2020-08-14 20:11:56 +10:00

mmake.in

Bring the style of some scripts up to date ...

2020-08-14 20:11:56 +10:00

Mmake.rules

…

Mmake.vars.in

Update and fix copyright notices in the scripts directory.

2020-06-16 17:22:09 +10:00

Mmakefile

…

mmc.in

Bring the style of some scripts up to date ...

2020-08-14 20:11:56 +10:00

mprof_merge_runs

…

mprof.bat.in

…

mprof.in

Bring the style of some scripts up to date ...

2020-08-14 20:11:56 +10:00

mtags.in

Update and fix copyright notices in the scripts directory.

2020-06-16 17:22:09 +10:00

mtc

Update and fix copyright notices in the scripts directory.

2020-06-16 17:22:09 +10:00

parse_grade_options.sh-subr

Update and fix copyright notices in the scripts directory.

2020-06-16 17:22:09 +10:00

parse_ml_options.sh-subr.in

Update and fix copyright notices in the scripts directory.

2020-06-16 17:22:09 +10:00

prepare_install_dir.in

Copy getop_template to install dirs.

2020-09-19 08:22:16 +10:00

rs6000_hack

…

throbber.gif

…

vpath_find

…

xul_tree.xsl

…