diff options
| author | Eduardo Julian | 2015-07-19 22:24:48 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2015-07-19 22:24:48 -0400 |
| commit | 50366bad3ecf961fdfdbb1e4d8436794d97ae763 (patch) | |
| tree | 3c911205244647bb923b2b1868cc8b1d36a083a4 /.gitignore | |
| parent | eb424eeb33d8fc9bb7ad2acda0c58fcb037717d3 (diff) | |
- Some bug fixes.
- More additions to the standard library.
Diffstat (limited to '')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index fdc7212fc..9c8887842 100644 --- a/.gitignore +++ b/.gitignore @@ -10,3 +10,5 @@ pom.xml.asc LICENSE README.md doc/intro.md +/jbe + |