evdenis / spec-utils / 106

Builds Branch Commit Type Ran Committer Via Coverage
106 devel merge: small code improvement push Denis Efremov travis-ci pending completion   set done
105 devel ctags: .ctagslist update push Denis Efremov travis-ci pending completion   set done
97 devel lib: Configuration: Contiki configuration added push evdenis travis-ci pending completion   set done
96 devel lib: single out configuration parameters to a special file push evdenis travis-ci pending completion   set done
95 devel doc: FORMAT.md: translation push evdenis travis-ci pending completion   set done
94 devel docs: translation to english push evdenis travis-ci pending completion   set done
93 devel Update README_ru.md push web-flow travis-ci pending completion   set done
92 devel translation: README push evdenis travis-ci pending completion   set done
91 devel dismember: rename to extricate push evdenis travis-ci pending completion   set done
90 devel dismember: plugin: testcompile: typo fix push evdenis travis-ci pending completion   set done
89 devel parse: global: proper handling of __lsm_ro_after_init push evdenis travis-ci pending completion   set done
88 devel dismember: limit the length of generated filename push evdenis travis-ci pending completion   set done
87 devel scripts: debian: handle starman separatedly push evdenis travis-ci pending completion   set done
86 devel scripts: debian/fedora installdeps scripts push evdenis travis-ci pending completion   set done
85 devel dismember: attach acsl contracts from decls to funcs push evdenis travis-ci pending completion   set done