Age | Commit message (Expand) | Author |
---|---|---|
2018-07-04 | Remove spurious $HOME include from BRIG FE Makefile | jamborm |
2018-01-25 | Update ChangeLog and version files for releasegcc-7_3_0-release | rguenth |
2017-08-14 | Update ChangeLog and version files for releasegcc-7_2_0-release | rguenth |
2017-05-02 | Update ChangeLog and version files for releasegcc-7_1_0-release | gccadmin |
2017-02-01 | * brigfrontend/brig-code-entry-handler.cc: fix address | visit0r |
2017-01-30 | * brigfrontend/brig-code-entry-handler.cc | jakub |
2017-01-27 | [brigfe] Small fixes | jamborm |
2017-01-26 | contrib/ | jakub |
2017-01-26 | contrib/ | jakub |
2017-01-24 | Brig front-end | jamborm |