Merge branch 'fix-devops-extension' into 'master'
fix stupid bug and add devops extension to user default config See merge request FG42/FG42!18
This commit is contained in:
commit
6cd1f35a8c
|
@ -37,6 +37,7 @@
|
||||||
'arduino
|
'arduino
|
||||||
'java
|
'java
|
||||||
'racket
|
'racket
|
||||||
|
'devops
|
||||||
'irc
|
'irc
|
||||||
'latex)
|
'latex)
|
||||||
|
|
||||||
|
|
|
@ -13,7 +13,7 @@
|
||||||
|
|
||||||
(extension devops
|
(extension devops
|
||||||
:version 0.0.1
|
:version 0.0.1
|
||||||
:on-initialize extensions/devops
|
:on-initialize extensions/devops-initialize
|
||||||
:docs "lib/extensions/devops/readme.org")
|
:docs "lib/extensions/devops/readme.org")
|
||||||
(provide 'extensions/devops)
|
(provide 'extensions/devops)
|
||||||
;; devops ends here
|
;; devops ends here
|
||||||
|
|
Loading…
Reference in New Issue