 Leo
|
04dc09d5ba
Make reset help message wore accurate
|
il y a 9 ans |
|
Leo
|
0161a96d23
Make signature ASCII armored
|
il y a 9 ans |
|
Leo
|
9d9e652564
Update CHANGELOG
|
il y a 9 ans |
|
Leo
|
c5bebc87cb
Ensure test pass before release.sh
|
il y a 9 ans |
|
Leo
|
781000a2c0
Re2 library is mandatory to run test
|
il y a 9 ans |
|
Leo
|
eb79a27eee
Forgot some dependencies
|
il y a 9 ans |
|
Leo
|
0a4980d79e
Back to dev
|
il y a 9 ans |
|
Leo
|
33a2c283df
Version 0.3.0-pre1
|
il y a 9 ans |
|
Leo
|
a7c1de734a
Remove execution right of some file
|
il y a 9 ans |
|
Leo
|
e0f93b3fbd
Limit length of the commit id in produced archive
|
il y a 9 ans |
|
Leo
|
1ba268473b
Using gpg2, works better with gpg-agent
|
il y a 9 ans |
|
Leo
|
d65b0fe6b4
Add checksum computation to signing script
|
il y a 9 ans |
|
Leo
|
7db5623319
Fix signing script
|
il y a 9 ans |
|
Leo
|
aaa0b0cbc9
Highlight in CHANGELOG
|
il y a 9 ans |
|
Leo
|
bd5b868ad5
Add dots for consistency in CHANGELOG
|
il y a 9 ans |
|
Leo
|
156a12a24b
Correct indent in CHANGELOG
|
il y a 9 ans |
|
Leo
|
070473917c
Add related issues in CHANGELOG
|
il y a 9 ans |
|
Leo
|
b190ad8b04
Describe the version globally
|
il y a 9 ans |
|
Leo
|
7881d3fcae
Ordered entries in CHANGELOG
|
il y a 9 ans |
|
Leo
|
2dffdd12b1
Merge branch 'readme' into dev
|
il y a 9 ans |
|
Leo
|
8205a14fda
Update CHANGELOG
|
il y a 9 ans |
|
Leo
|
6f2913e147
Improve README file with oasis setup
|
il y a 9 ans |
|
Leo
|
d02b40a32a
Update shield's OCaml address
|
il y a 9 ans |
|
Leo
|
fba7540afa
Add the complete example of ocla.ml page
|
il y a 9 ans |
|
Leo
|
d8d119aaa6
Further add space between shields and text
|
il y a 9 ans |
|
Leo
|
1058729119
Better formating, using direct paragraph
|
il y a 9 ans |
|
Leo
|
b104353175
Add space to have greater result
|
il y a 9 ans |
|
Leo
|
e0d5d2c9de
Add link to the website as a child
|
il y a 9 ans |
|
Leo
|
0fbc73f895
Change images, to keep to most important ones
|
il y a 9 ans |
|
Leo
|
4b0d452829
Trying to add some of the images of ocla.ml
|
il y a 9 ans |
