Mise à jour terminée. Pour connaître les apports de la version 13.8.4 par rapport à notre ancienne version vous pouvez lire les "Release Notes" suivantes :
https://about.gitlab.com/releases/2021/02/11/security-release-gitlab-13-8-4-released/
https://about.gitlab.com/releases/2021/02/05/gitlab-13-8-3-released/

Commit d780d4ed authored by POGODALLA Sylvain's avatar POGODALLA Sylvain

No commit message

No commit message
parent 66eea928
......@@ -33,8 +33,7 @@ prefix = @prefix@
exec_prefix = @exec_prefix@
byte opt:
$(MAKE) -C src $@
for file in $(BINARIES); do find . -name "$$file" -exec cp {} . \; ; done
$(MAKE) -C src $@ && for file in $(BINARIES); do find . -name "$$file" -exec cp {} . \; ; done
all: byte opt
......
......@@ -70,7 +70,7 @@ signature logic =
(* Then few non logical-constants *)
love:e -> e -> t;
j,m:e;
man,woman : e->t;
man,woman : e -> t;
(* And finally, here are the logical constants *)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment