 Leo
|
46edff76e1
Update opam
|
преди 8 години |
|
Leo
|
5d89631f5b
Update opam
|
преди 8 години |
|
Leo
|
5ce4edc69b
Allow everything to fail to try to build everything and find what's wrong
|
преди 8 години |
|
Leo
|
6b6149280a
Typo
|
преди 8 години |
|
Leo
|
772f381cd1
Update .gitlab-ci.yml
|
преди 8 години |
|
Leo
|
e9b76315c0
Remove atdgen dependency when building binary
|
преди 8 години |
|
Leo
|
70513629f4
Avoid warnnig 45
|
преди 8 години |
|
Leo
|
8913f1aa0d
Rename constructor Error of Lock module
|
преди 8 години |
|
Leo
|
352c103fe4
Use ad hoc operator
|
преди 8 години |
|
Leo
|
fe1c79021f
Merge branch 'dev' of gitlab.com:WzukW/oclaunch into dev
|
преди 8 години |
|
Leo
|
6fc0dc112c
Improve opam file
|
преди 8 години |
|
Leo
|
d91fa8dc5a
Merge branch 'newrc-format' into dev
|
преди 8 години |
|
Leo
|
516c2beb6b
Merge branch 'dev' of https://gitlab.com/WzukW/oclaunch into dev
|
преди 8 години |
|
Leo
|
7a1a679caf
Build test executable to native code
|
преди 8 години |
|
Leo
|
26c55720fd
Improve brevity of type signature
|
преди 8 години |
|
Leo
|
91e648b9c3
Use import subcommand to create an scm rc file
|
преди 8 години |
|
Leo
|
d35ee64ca2
Add import subcommand
|
преди 8 години |
|
Leo
|
30c83e1660
Make type signature easier to read
|
преди 8 години |
|
Leo
|
6e5dd9d26c
Fixes failing tests due to bad comparison
|
преди 8 години |
|
Leo
|
74d1e6b470
Merge branch 'newrc-format' of gitlab.com:WzukW/oclaunch into newrc-format
|
преди 8 години |
|
Leo
|
1610cb913d
Display help message in case of error reading rc file
|
преди 8 години |
|
Leo
|
90b0e5e843
Improve reading of rc file
|
преди 8 години |
|
Leo
|
0db7d0001a
New development rc file
|
преди 8 години |
|
Leo
|
de02aee7b1
Typo
|
преди 8 години |
|
Leo
|
c23dde4786
Update rc file extension
|
преди 8 години |
|
Leo
|
620f03eb4f
Update CHANGELOG
|
преди 8 години |
|
Leo
|
c421a206d7
Adapt the rest of the program to use the new rc format
|
преди 8 години |
|
Leo
|
fce36ff34b
Further improve rc file methods
|
преди 8 години |
|
Leo
|
2c507abf7d
Typo
|
преди 8 години |
|
Leo
|
5898319635
Forgotten label
|
преди 8 години |
